200 search results - page 5 / 40 » A Core Calculus for Provenance |
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
FGCS
2011
13 years 2 months ago
2011
A description of a data item’s provenance can be provided in different forms, and which form is best depends on the intended use of that description. Because of this, differen...
BIRTHDAY
2000
Springer
13 years 12 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
FAST
2010
13 years 9 months ago
2010
The cloud is poised to become the next computing environment for both data storage and computation due to its pay-as-you-go and provision-as-you-go models. Cloud storage is alread...
SIGPLAN
2002
13 years 7 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...