3931 search results - page 116 / 787 » Separation logic and abstraction |
SAS
2000
Springer
15 years 1 months ago
2000
Springer
Design constraints express essential behavioural properties of a software system. Two key elements of a scheme for enforcing design constraints are presented: a logic for describin...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
It has recently been discovered that both quantum and classical propositional logics can be modelled by classes of nonorthomodular and thus non-distributive lattices that properly...
LOPSTR
2007
Springer
15 years 4 months ago
2007
Springer
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
SOSP
1993
ACM
14 years 11 months ago
1993
ACM
The Logical Disk (LD) defines a new interface to disk storage that separates file management and disk management by using logical block numbers and block lists. The LD interface...
APAL
2008
14 years 10 months ago
2008
Abstract. We present a version of Herbelin's