NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	SIGPLAN notices 2012-08, Vol.47 (6), p.401
Hauptverfasser:	Burnim, Jacob, Elmas, Tayfun, Necula, George, Sen, Koushik
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!