Verified Compilation on a Verified Processor
Paper i proceeding, 2019
hardware verification
program verification
verified stack
compiler verification
Författare
Andreas Lööw
Göteborgs universitet
Ramana Kumar
DeepMind
Yong Kiam Tan
Carnegie Mellon University (CMU)
Magnus O. Myreen
Göteborgs universitet
Michael Norrish
Australian National University
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Oskar Abrahamsson
Chalmers, Data- och informationsteknik, Formella metoder
Anthony Fox
ARM Limited
PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19)
1041-1053
978-1-4503-6712-7 (ISBN)
Phoenix, AZ, USA,
Ämneskategorier
Data- och informationsvetenskap
Programvaruteknik
DOI
10.1145/3314221.3314622