Type-based verification of assembly language for compiler debugging.
Bor-Yuh Evan ChangAdam ChlipalaGeorge C. NeculaRobert R. SchneckPublished in: TLDI (2005)
Keyphrases
- programming language
- strongly typed
- programs written
- type checking
- natural language
- java bytecode
- hardware designs
- source code
- parallel programming
- language learning
- model based diagnosis
- language processing
- model checking
- database programming language
- database query languages
- general purpose
- programming environment
- specification language
- signature verification
- highly optimized
- open source
- artificial intelligence