1699 search results - page 12 / 340 » A timed semantics of Orc |
COMPLEXITY
2007
13 years 8 months ago
2007
abstractions provides an additional supra-phenotypic vehicle for semantic inheritance, which supports the cultural heritages around which civilizations revolve. The following three...
TCS
2011
13 years 3 months ago
2011
We give a semantic account of the execution time (i.e. the number of cut elimination steps leading to the normal form) of an untyped MELL net. We first prove that: 1) a net is he...
TAPSOFT
1991
Springer
14 years 8 days ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
APCCM
2006
13 years 10 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...
DAGSTUHL
2003
13 years 10 months ago
2003
STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior. In order to express the necess...