Local local reasoning: a BI-hyperdoctrine for full ground store

DOI10.1007/978-3-030-45231-5_28OpenAlexW3021975146MaRDI QIDQ2200846FDOQ2200846

Authors: Miriam Polzer, S. S. Goncharov 

Publication date: 23 September 2020

Full work available at URL: https://arxiv.org/abs/2003.05386

Recommendations

• Programming Languages and Systems
• scientific article; zbMATH DE number 1841809
• Logical Reasoning for Higher-Order Functions with Local State
• Separation Logic for Higher-Order Store
• Logical Reasoning for Higher-Order Functions with Local State

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cites Work

• Modelling environments in call-by-value programming languages.
• Algebraic operations and generic effects
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Instances of computational effects: an algebraic perspective
• Title not available (Why is that?)
• Residuated lattices. An algebraic glimpse at substructural logics
• Programming Languages and Systems
• Adjointness in Foundations
• Title not available (Why is that?)
• Intensionality, definability and computation
• Title not available (Why is that?)
• Iris from the ground up: a modular foundation for higher-order concurrent separation logic
• Program logic and equivalence in the presence of garbage collection.
• Category-theoretic structure for independence and conditional independence
• A model of guarded recursion via generalised equilogical spaces
• A monad for full ground reference cells
• A Fibrational Account of Local States

This page was built for publication: Local local reasoning: a BI-hyperdoctrine for full ground store

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