2236 search results - page 5 / 448 » Language Independence and Language Tolerance in Logic Progra... |
112
Voted
ICALP
1998
Springer
15 years 8 months ago
1998
Springer
123
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...
113
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
