Optimisation Validation
Under a Creative Commons license
open access
Keywords
Compiler Optimisation
Translation Validation
Program Logic
Java Virtual Machine Language
Cost Modelling
Resource Algebras
Lightweight Verification
Cited by (0)
Copyright © 2007 Elsevier B.V.