Sciweavers

2500 search results - page 77 / 500
» Logical Semantics of Modularisation
Sort
View
LICS
1989
IEEE
15 years 3 months ago
A Fully Abstract Semantics for a Functional Language with Logic Variables
Radha Jagadeesan, Prakash Panangaden, Keshav Pinga...
ESOP
2008
Springer
15 years 26 days ago
Oracle Semantics for Concurrent Separation Logic
Aquinas Hobor, Andrew W. Appel, Francesco Zappa Na...