2678 search results - page 494 / 536 » Operational Semantics of Transactions |
189
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...
214
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...
125
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...
117
click to vote
ESWS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Enterprise modelling focuses on the construction of a structured description, the so-called enterprise model, which represents aspects relevant to the activity of an ente...
127
click to vote
OTM
2009
Springer
15 years 8 months ago
2009
Springer
Provenance, from the French word “provenir”, describes the lineage or history of a data entity. Provenance is critical information in scientific applications to verify experime...