Stratified operational semantics for safety and correctness of the region calculus

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2001, Pages 155-165

  Calcagno, C ^a  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); DATA STORAGE EQUIPMENT; DIFFERENTIATION (CALCULUS); PASCAL (PROGRAMMING LANGUAGE);

REGION CALCULUS; STRATIFIED OPERATIONAL SEMANTICS;

SEMANTICS;

EID: 0035030490     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/360204.360217     Document Type: Conference Paper

References (20)

1. Better static memory management: Improving region-based analysis of higher-order languages
2. Region analysis and the polymorphic lambda calculus
3. Monads, effects and transformations
4. Compiling standard ML to Java bytecodes
5. A constraint-based region inference algorithm
6. From region inference to von Neumann machines via region representation inference
7. Proving pointer programs in Hoare logic
8. Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic
9. Typed memory management in a calculus of capabilities
10. Region analysis and a π-calculus with groups
11. Syntactic type soundness for the region calculus
12. BI as an assertion language for mutable data structures
13. Polymorphic effect systems
14. From system F to typed assembly language
15. Proof-carrying code
16. Intuitionistic reasoning about shared mutable data structure
17. Polymorphic type, region and effect inference
18. A region inference algorithm
19. Implementation of the typed call-by-value lambda calculus using a stack of regions
20. Region-based memory management