Formalizing Soundness of Contextual Effects

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

The locally nameless representation

Uses Software

• Coq

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