43 search results - page 1 / 9 » Persistence and Type Abstraction Revisited |
POS
1990
Springer
13 years 9 months ago
1990
Springer
nce and Type Abstraction Revisited Atsushi Ohori Ivan Tabkha Richard Connor
CORR
2010
Springer
13 years 3 months ago
2010
Springer
The social and economic importance of large bodies of programs and data that are potentially long-lived has attracted much attention in the commercial and research communities. Her...
POS
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. The technique of hyper-programming allows program representations held in a persistent store to contain embedded links to persistent code and data. In 1994, Connor et al ...
ISW
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. We introduce the notion of persistent authenticated dictionaries, that is, dictionaries where the user can make queries of the type “was element e in set S at time t?â€...
FUIN
2010
12 years 11 months ago
2010
Abstract. In this paper we present a novel approach to big-step operational semantics. This approach stems from the observation that the typical type soundness property formulated ...