Formalizing Soundness of Contextual Effects

DOI10.1007/978-3-540-71067-7_22MaRDI QIDQ3543663zbMATH OpenOpenAlexFDO

Authors

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

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

Recommendations

• Contextual effects for version-consistent dynamic software updating and safe concurrent programming
• Coeffects: a calculus of context-dependent computation
• Coeffects: unified static analysis of context-dependence
• An effect system for algebraic effects and handlers
• Combining effects and coeffects via grading

Cites work

• Contextual effects for version-consistent dynamic software updating and safe concurrent programming
• Engineering formal metatheory
• Existential Label Flow Inference Via CFL Reachability
• scientific article; zbMATH DE number 1629948 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• Resource usage analysis
• Structural analysis of narratives with the Coq proof assistant
• The type and effect discipline
• Types and trace effects of higher order programs

Cited in

(4)

• The locally nameless representation
• Contextual effects for version-consistent dynamic software updating and safe concurrent programming
• Contextual types, explained. Invited tutorial
• Coeffects: unified static analysis of context-dependence

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Formalizing Soundness of Contextual Effects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3543663)