291 search results - page 41 / 59 » CPP Denotational Semantics |
FOIS
2006
13 years 9 months ago
2006
Abstract. Some events recur, and some happen only once. Galton refers to the latter as "once-only" events [1]. In a first-order logic of events that makes a type-token di...
AMAI
2004
Springer
14 years 1 months ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
CONCUR
2006
Springer
13 years 11 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
ISEMANTICS
2010
13 years 6 months ago
2010
LInked Data Services (LIDS) denote the integration of dataproviding services and Linked Data. LIDS are parameterised and formally described web resources which return RDF when der...
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...