Results 11 to 20 of about 511,372 (153)
Dynamic Semantics as Monadic Computation [PDF]
, 2012 This paper proposes a formulation of the basic ideas of dynamic semantics in terms of the state monad. Such a monadic treatment allows to specify meanings as computations that clearly separate operations accessing and updating the context from purely truth conditional meaning composition.
Christina Unger +1 more
openaire +4 more sources
Dynamic Semantics of Plurals DPL
Electronic Notes in Theoretical Computer Science, 2002 AbstractThis paper proposes a dynamic semantics of plurals, DPL⊛Q, that is an extension of DPL [8] by adding binary generalized quantifiers, plural terms with join-operators as in Link [17]'s semilattice semantics of plurals, dynamic selectors, dynamic distributors and division functions. DPL⊛Q provides a formalism for handling dependent plurals, bound
Ogata, Norihiro
openaire +2 more sources
Dynamic Logic with Trace Semantics
, 2013 Dynamic logic is an established instrument for program verification and for reasoning about the semantics of programs and programming languages. In this paper, we define an extension of dynamic logic, called Dynamic Trace Logic (DTL), which combines the expressiveness of program logics such as dynamic logic with that of temporal logic. And we present a
Bernhard Beckert, Daniel Bruns
openaire +5 more sources
Bishop Sentences and Donkey Cataphora: A Response to Barker and Shan
Semantics and Pragmatics, 2009 Some issues are raised concerning the treatment of donkey cataphora and bishop sentences in Barker & Shan 2008.
Paul David Elbourne
doaj +1 more source
Dynamic Semantics SLAM Based on Improved Mask R-CNN
IEEE Access, 2022 Simulation localization and mapping(SLAM) is a popular research problem in the field of driverless cars, but there are still some difficult problems to solve.
Xinguang Zhang +2 more
doaj +1 more source
, 1987 Kindt W. Dynamic semantics. In: Ballmer TT, ed. Process linguistics: exploring the processual aspects of language and language use, and the methods of their description. Linguistische Arbeiten ; 177.
Kindt, Walther, Ballmer, Thomas T.
core +5 more sources
The Relationship Between Separation Logic and Implicit Dynamic Frames [PDF]
Logical Methods in Computer Science, 2012 Separation logic is a concise method for specifying programs that manipulate dynamically allocated storage. Partially inspired by separation logic, Implicit Dynamic Frames has recently been proposed, aiming at first-order tool support.
Matthew J. Parkinson +1 more
doaj +1 more source
Game semantics for interface middleweight Java [PDF]
, 2014 We consider an object calculus in which open terms interact with the environment through interfaces. The calculus is intended to capture the essence of contextual interactions of Middleweight Java code.
Tzevelekos, Nikos +3 more
core +1 more source
Donkey anaphora is in-scope binding
Semantics and Pragmatics, 2008 We propose that the antecedent of a donkey pronoun takes scope over and binds the donkey pronoun, just like any other quantificational antecedent would bind a pronoun.
Chris Barker, Chung-chieh Shan
doaj +1 more source
Incremental quantification and the dynamics of pair-list phenomena
Semantics and Pragmatics, 2015 Distributive universals are unique among natural language quantifiers in the following three ways: (i) matrix interrogatives that contain them accept pair-list answers; (ii) indefinites and disjunctions in their scope may assume arbitrary functional ...
Dylan Bumford
doaj +1 more source