293 search results - page 29 / 59 » A Logic for Variable Aliasing in Logic Programs |
144
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
130
click to vote
TCS
2008
15 years 3 months ago
2008
Suppose we are given a set W of logical structures, or possible worlds, a set of logical formulas called possible data and a logical formula . We then consider the classification p...
150
click to vote
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
138
click to vote
TGC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose and discuss foundations for programmable overlay networks and overlay computing systems. Such overlays are built over a large number of distributed computation...
132
click to vote
JFP
2008
15 years 3 months ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...