Abstracting Pointers for a Verifying Compiler.

Gregory Kulczycki Heather Keown Murali Sitaraman Bruce W. Weide

Published in: SEW (2007)

Keyphrases

general purpose
programming language
distributed memory machines
highly optimized
software systems
model checking
information retrieval
artificial neural networks
code generation
level parallelism
information systems
website