A logic of reachable patterns in linked data-structures

The Journal of Logic and Algebraic Programming 2007 Vol. 73; Iss. 1-2

A logic of reachable patterns in linked data-structures

Greta Yorsh, Alexander Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani
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:
73
Année:
2007
Langue:
english
Pages:
32
DOI:
10.1016/j.jlap.2006.12.001
Fichier:
PDF, 591 KB
english, 2007
La conversion en est effectuée
La conversion en a échoué