Formal models of distributed memory management

From MaRDI portal

Revision as of 23:53, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5348882

Jump to:navigation, search

DOI10.1145/258948.258975zbMath1369.68160OpenAlexW1994090521MaRDI QIDQ5348882

Benjamin Goldberg, Christian Ungureanu

Publication date: 21 August 2017

Published in: Proceedings of the second ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Formal models of distributed memory management

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5348882&oldid=20049327"