Proving correctness of compiler optimizations by temporal...

ACM SIGPLAN Notices 2002 / 01 Vol. 37; Iss. 1

Proving correctness of compiler optimizations by temporal logic

Lacey, David, Jones, Neil D., Van Wyk, Eric, Frederiksen, Carl Christian
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
37
Langue:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/565816.503299
Date:
January, 2002
Fichier:
PDF, 257 KB
english, 2002
La conversion en est effectuée
La conversion en a échoué