37 search results - page 8 / 8 » Formal Verification of a C-like Memory Model and Its Uses fo... |
ESOP
2003
Springer
13 years 10 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
OSDI
2006
ACM
14 years 5 months ago
2006
ACM
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy...