Formalizing Soundness of Contextual Effects
From MaRDI portal
Publication:3543663
DOI10.1007/978-3-540-71067-7_22zbMath1165.68470OpenAlexW1802969127MaRDI QIDQ3543663
No author found.
Publication date: 4 December 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71067-7_22
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- The type and effect discipline
- Structural Analysis of Narratives with the Coq Proof Assistant
- Engineering formal metatheory
- Contextual effects for version-consistent dynamic software updating and safe concurrent programming
- Existential Label Flow Inference Via CFL Reachability
- Resource usage analysis
- Types and trace effects of higher order programs
This page was built for publication: Formalizing Soundness of Contextual Effects
