BI as an assertion language for mutable data structures

ACM SIGPLAN Notices 2011 / 05 Vol. 46; Iss. 4

BI as an assertion language for mutable data structures

Ishtiaq, Samin, O'Hearn, Peter W.
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:
46
Langue:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/1988042.1988050
Date:
May, 2011
Fichier:
PDF, 556 KB
english, 2011
La conversion en est effectuée
La conversion en a échoué