Panel on compiler certification: should we trust our compiler?

Lennart Beringer Randall Brukardt Thomas Plum S. Tucker Taft

Published in: HILT (2012)

Keyphrases

programming language
distributed memory machines
general purpose
highly optimized
code generation
software systems
trust model
artificial intelligence
information systems
website
multi agent
constraint language