Modular reasoning about concurrent higher-order imperative programs

DOI10.1145/2535838.2537849zbMath1284.68372OpenAlexW1987812660MaRDI QIDQ5408395

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

data abstractioncontextual equivalenceprogram logics

Mathematics Subject Classification ID

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

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