Correctness kernels of abstract interpretations

Information and Computation 2014 / 10 Vol. 237

Correctness kernels of abstract interpretations

Giacobazzi, Roberto, Ranzato, Francesco
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:
237
Langue:
english
Journal:
Information and Computation
DOI:
10.1016/j.ic.2014.02.003
Date:
October, 2014
Fichier:
PDF, 794 KB
english, 2014
La conversion en est effectuée
La conversion en a échoué