Results 21 to 30 of about 41,655,511 (287)
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
On State Classes and Their Dynamic Semantics [PDF]
, 2008 We introduce state classes, a construct to program objects that can be safely concurrently accessed. State classes model the notion of object’s state (intended as some abstraction over the value of fields) that plays a key role in concurrent object-oriented programming (as the state of an object changes, so does its coordination behavior).
Ferruccio Damiani +3 more
openaire +6 more sources
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
Semantics and Pragmatics, 2010 How do ordinary indicative conditionals manage to convey conditional information, information about what might or must be if such-and-such is or turns out to be the case?
Anthony S Gillies
doaj +1 more source
Foundations, 2022 It is known that, from a modeling point of view, fractional dynamic equations are more suitable compared to integer derivative models. In fact, a fractional dynamic equation is referred to as an equation with memory.
Aghalaya S. Vatsala +2 more
doaj +1 more source
Action semantics in retrospect [PDF]
, 2009 This paper is a themed account of the action semantics project, which Peter Mosses has led since the 1980s. It explains his motivations for developing action semantics, the inspirations behind its design, and the foundations of action semantics based on ...
Watt, D.A., David A. Watt
core +1 more source
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates [PDF]
, 2011 Logic programs with aggregates (LPA) are one of the major linguistic extensions to Logic Programming (LP). In this work, we propose a generalization of the notions of unfounded set and well-founded semantics for programs with monotone and antimonotone ...
Alviano, Mario +4 more
core +3 more sources
Centering in Dynamic Semantics [PDF]
Proceedings of the 16th conference on Computational linguistics -, 1996 Centering theory posits a discourse center, a distinguished discourse entity that is the topic of a discourse. A simplified version of this theory is developed in a Dynamic Semantics framework. In the resulting system, the mechanism of center shift allows a simple, elegant analysis of a variety of phenomena involving sloppy identity in ellipsis and ...
openaire +4 more sources
CCS Dynamic Bisimulation is Progressing
, 1991 Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still woc, e.g.\ $\alpha.\tau.\beta.nil$ and $\alpha.\beta.nil$ are woc but $\tau ...
Montanari, U., Sassone, V.
core +2 more sources