Modular reasoning about concurrent higher-order imperative programs

DOI10.1145/2535838.2537849MaRDI QIDQ5408395zbMATH OpenOpenAlexFDO

Authors Lars Birkedal

Publication date 10 April 2014

Published in Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2535838.2537849

zbMATH Keywords

contextual equivalencedata abstractionprogram logics

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Modular reasoning about concurrent higher-order imperative programs

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