Bringing extensibility to verified compilers.

Zachary Tatlock Sorin Lerner

Published in: PLDI (2010)

Keyphrases

programming language
computer architecture
hardware and software
database
information retrieval
general purpose
expert systems
computer systems
user defined
multiscale
cooperative