Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"dynamic semantics"”.
-
Dynamics of plurality in quantification and anaphora
This dissertation investigates the semantics, logic, and metaphysics of plurality, focusing especially on the issues that arise from the interpretation of different plural readings in sentences containing plural terms like ‘Kerri and Misty’ and ‘three students’. The topic has generated a good deal …
-
The tasks with effects model for safe concurrency
… goals. The core unit of work in this model is a dynamically-created task. The model's key feature is that each task has programmer-specified effects, and a run-time scheduler is used to ensure that two tasks are run concurrently only if they have non-interfering effects. Through the combination …
-
Preventing information leaks with policy-agnostic programming
… programs, I present a formalization of the dynamic semantics of Jeeves, define non-interference and policy compliance properties, and provide proofs that Jeeves enforces these properties. To demonstrate the practical feasibility of policy-agnostic programming, I present Jacqueline, a web …
-
Measuring and Manipulating State Representations in Neural Language Models
… functional similarities to linguistic models of dynamic semantics: they support a linear readout of each entity’s current properties and relations, and can be manipulated with predictable effects on language generation. Our results indicate that prediction in pretrained LMs is supported, at least …
-
Parameterized monads in linguistics
This dissertation follows the formal semantics approach to linguistics. It applies recent developments in computing theories to study theoretical linguistics in the area of the interaction between semantics and pragmatics and analyzes several natural language phenomena by parsing them in these …
-
Probabilistic semantics for vagueness
… this dissertation I argue that truth-conditional semantics for vague predicates, combined with a Bayesian account of statistical inference incorporating knowledge of truth-conditions of utterances, generates false predictions regarding negations and metalinguistic inference. I thus propose a …