138 search results - page 10 / 28 » Variables as Resource in Separation Logic |
TPHOL
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract. In this proof pearl, we demonstrate the power of higherorder encodings in the logical framework Twelf[PS99] by investigating proofs about an algorithmic specification of...
DATE
2002
IEEE
15 years 2 months ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
JAIR
1998
14 years 9 months ago
1998
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...
WISE
2002
Springer
15 years 2 months ago
2002
Springer
How to extract data from XML documents is an important issue for XML research and development. However, how to view XML documents determines how they can be queried. In this paper...
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
The essence of any modeling approach for product line architectures lies in its ability to express variability. Existing approaches do so by explicitly specifying variation points...