Denotational abstract interpretation of logic programs

ACM Transactions on Programming Languages and Systems 1994 / 5 Vol. 16; Iss. 3

Denotational abstract interpretation of logic programs

Marriott, Kim, Søndergaard, Harald, Jones, Neil D.
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:
16
Langue:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/177492.177650
Date:
May, 1994
Fichier:
PDF, 2.72 MB
english, 1994
La conversion en est effectuée
La conversion en a échoué