Results 11 to 20 of about 41,655,511 (287)
, 2012 The integrated theory of dynamic interpretation set out here will be a surprise to advanced researchers in linguistics. It combines classical formal semantics and modern dynamic semantics without altering the fundamental paradigm. At the book’s core lies a pragmatically motivated notion of a dynamic conjunction of meanings, an idea that is worked out ...
Dekker, P.J.E.
openaire +4 more sources
, 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 +4 more sources
Mathematical Structures in Computer Science, 2020 AbstractThe present work achieves a mathematical, in particularsyntax-independent, formulation ofdynamicsandintensionalityof computation in terms ofgamesandstrategies. Specifically, we givegame semanticsof a higher-order programming language that distinguishes programmes with the same value yet different algorithms (or intensionality) and thehiding ...
Norihiro Yamada, Samson Abramsky
openaire +2 more sources
On the computational complexity of dynamic slicing problems for program schemas [PDF]
, 2011 This is the preprint version of the Article - Copyright @ 2011 Cambridge University PressGiven a program, a quotient can be obtained from it by deleting zero or more statements.
Laurence, MR, Hierons, RM, Danicic, S
core +7 more sources
, 2002 Kracht M. Dynamic Semantics. In: Hamm F, Zimmmrmann TE, eds. Semantics. Linguistische Berichte Sonderheft 10.
Kracht, Marcus +2 more
openaire +2 more sources
A trajectory-based strict semantics for program slicing [PDF]
, 2010 We define a program semantics that is preserved by dependence-based slicing algorithms. It is a natural extension, to non-terminating programs, of the semantics introduced by Weiser (which only considered terminating ones) and, as such, is an accurate ...
Kiss, A +26 more
core +1 more source
A symbolic semantics for a clculus for service-oriented computing [PDF]
, 2009 We introduce a symbolic characterisation of the operational semantics of COWS, a formal language for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
N. Yoshida +4 more
core +1 more source
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
Factoring Predicate Argument and Scope Semantics : underspecified Semantics with LTAG [PDF]
, 2003 In this paper we propose a compositional semantics for lexicalized tree-adjoining grammar (LTAG). Tree-local multicomponent derivations allow separation of the semantic contribution of a lexical item into one component contributing to the predicate ...
Joshi, Aravind K., Kallmeyer, Laura
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