A stratified semantics of general references embeddable in higher-order logic

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2002, Pages 75-86

  Ahmed, Amal J ^a   Appel, Andrew W ^a   Virga, Roberto ^a  

^a PRINCETON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; DATA STORAGE EQUIPMENT; FORMAL LOGIC; MATHEMATICAL MODELS; SEMANTICS;

MUTABLE MEMORY CELLS; SEMANTIC MODELS;

COMPUTER SCIENCE;

EID: 0036052969     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)

1. A fully abstract game semantics for general references
2. A semantic model of types and machine instructions for proof-carrying code
3. Some techniques for proving correctness of programs which alter data structures
4. A note on: "A simplified account of polymorphic references"
5. A framework for defining logics
6. Impossible possible worlds vindicated
7. Report on the programming language Haskell, a non-strict, purely functional language
8. BI as an assertion language for mutable data structures
9. Machine instruction syntax and semantics in higher-order logic
10. Co-induction in relational semantics
11. From System F to typed assembly language
12. Proof-carrying code
13. The logic of bunched implications
14. Functor categories and store shapes
15. Fixpoint induction and proofs of program properties
16. Possible worlds: A critical analysis
17. System description: Twelf - A meta-logical framework for deductive systems
18. Observable properties of higher order functions that dynamically create local names, or: What's new?
19. The essence of Algol
20. Intuitionistic reasoning about shared mutable data structure
21. Semantical considerations on modal logic
22. Type inference for polymorphic references