31387 search results - page 398 / 6278 » Abstracts |
171
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
We give a fully abstract game model for Idealized Algol with non-local control flow. In contrast to most previous papers on game semantics, we do not need to include the bad-varia...
187
click to vote
DBPL
2007
Springer
16 years 1 months ago
2007
Springer
Data streams are modeled as infinite or finite sequences of data elements coming from an arbitrary but fixed universe. The universe can have various built-in functions and predi...
166
click to vote
DEXA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The notion of dependency is ubiquitous. This paper approaches this notion from the perspective of digital information preservation. At first, an abstract notion of modul...
163
click to vote
MTSR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper describes a proposed formalization of the notion of Applications Profiles as used in the Dublin Core community. The formalization, called Description Set Profi...
207
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...