A Stratified Semantics of General References Embeddable in Higher-Order Logic (Extended Abstract) (2002)

by Amal J. Ahmed , Andrew W. Appel , Roberto Virga
Citations:30 - 8 self

Active Bibliography

55 Semantics of Types for Mutable State – Amal Jamil Ahmed - 2004
Abstract A Syntactic Approach to Foundational Proof-Carrying Code – Nadeem Abdul Hamid - 2005
540 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
582 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
710 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
1311 Monads for functional programming – Philip Wadler - 1995
2424 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1490 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
1096 Proof-Carrying Code – George C. Necula - 1997