290 search results - page 13 / 58 » A Denotational Semantics for Handel-C |
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
TAPSOFT
1991
Springer
15 years 1 months 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...
PPDP
2007
Springer
15 years 3 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
112
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Abstractā In this paper, we propose a novel, effective and efļ¬cient probabilistic pruning criterion for probabilistic similarity queries on uncertain data. Our approach support...
DAGSTUHL
2003
14 years 11 months ago
2003
STAIRS is an approach to the compositional development of sequence diagrams supporting the speciļ¬cation of mandatory as well as potential behavior. In order to express the necess...