Old Web
English
Sign In
Acemap
>
Paper
>
Translation validation of optimizing compilers by computational induction
Translation validation of optimizing compilers by computational induction
2000
Amir Pnueli
Lenore D. Zuck
Paritosh K. Pandya
Keywords:
Parallel computing
Computer architecture
Compiler
Optimizing compiler
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
8
Citations
NaN
KQI
[]