A model of cooperative threads

DOI10.1145/1480881.1480887zbMath1315.68079OpenAlexW1995065158MaRDI QIDQ5261503

Martín Abadi, Gordon D. Plotkin

Publication date: 3 July 2015

Published in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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

zbMATH Keywords

operational semanticsdenotational semanticsmonadtransaction

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Perspectives on Transactional Memory ⋮ Latent Fibrations: Fibrations for Categories of Partial Maps ⋮ Dynamic structural operational semantics

This page was built for publication: A model of cooperative threads