A categorical framework for program semantics and semantic abstraction
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 193320 (Why is no real title available?)
- scientific article; zbMATH DE number 3485178 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1231565 (Why is no real title available?)
- scientific article; zbMATH DE number 515728 (Why is no real title available?)
- A Relatively Complete Generic Hoare Logic for Order-Enriched Effects
- A survey on product operators in abstract interpretation
- Abstract Interpretation Frameworks
- Abstract cofibered domains: application to the alias analysis of untyped programs
- Abstract interpretation and application to logic programs
- Abstract non-interference
- Categories for Types
- Compositional characterization of observable program properties
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Generic weakest precondition semantics from monads enriched with order
- Hypercollecting semantics and its application to static analysis of information flow
- Indexed and fibered structures for partial and total correctness assertions
- Notions of computation and monads
- Symbolic transfer function-based approaches to certified compilation
- Systematic design of program transformation frameworks by abstract interpretation
- Weakest preconditions in fibrations
This page was built for publication: A categorical framework for program semantics and semantic abstraction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6831468)
