291 search results - page 22 / 59 » CPP Denotational Semantics |
EPK
2006
13 years 9 months ago
2006
: The semantics of the OR-join have been discussed for some time, in the context of EPCs, but also in the context of other business process modeling languages like YAWL. In this pa...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
Wh-phrases in English have two important properties: first, they can appear both raised and in-situ; second, while in-situ wh-phrases can take semantic scope beyond the immediately...
SAIG
2001
Springer
14 years 7 days ago
2001
Springer
A characteristic of aspect-oriented programming, as embodied in AspectJ, is the use of advice to incrementally modify the behavior of a program. An advice declaration specifies a...
APCCM
2006
13 years 9 months ago
2006
A wide range of database applications manage information that varies over time. Many of the underlying database schemas of these were designed using one of the several versions of...
FSTTCS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...