Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework - In Memory of Amir Pnueli.

Benjamin Goldberg

Published in: SAS (2010)

Keyphrases

software architecture
analysis tool
lightweight
data mining
information systems
data structure
language model
software systems
theoretical framework
software projects
software maintenance
memory space