A theory of platform-dependent low-level software

DOI10.1145/1328438.1328465zbMath1295.68090OpenAlexW2040266445MaRDI QIDQ3189840

Dan Grossman, Craig Chambers, Marius Nita

Publication date: 12 September 2014

Published in: Proceedings of the 35th 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/1328438.1328465

zbMATH Keywords

portabilitytype safetycastslow-level software

Mathematics Subject Classification ID

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

Aliasing Restrictions of C11 Formalized in Coq ⋮ Formal verification of a C-like memory model and its uses for verifying program transformations

Uses Software

• SAFECode