Formal verification of translation validators

From MaRDI portal

Revision as of 22:00, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:3189822

Jump to:navigation, search

DOI10.1145/1328438.1328444zbMath1295.68074OpenAlexW1981899763MaRDI QIDQ3189822

Jean-Baptiste Tristan, Xavier Leroy

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.1328444

zbMATH Keywords

translation validation the Coq proof assistant scheduling optimizations verified compilers

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (5)

Trustworthy variant derivation with translation validation for safety critical product lines ⋮ A formally verified compiler back-end ⋮ Certifying compilers using higher-order theorem provers as certificate checkers ⋮ A verified framework for higher-order uncurrying optimizations ⋮ Relational bytecode correlations

Uses Software

This page was built for publication: Formal verification of translation validators

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

Pages with script errors