Safe nondeterminism in a deterministic-by-default parallel language

A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound search, remains an open question. We present a language together with a type and effect system that supports nondeterministi...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	SIGPLAN notices 2011-01, Vol.46 (1), p.535-548
Hauptverfasser:	Bocchino, Robert L., Heumann, Stephen, Honarmand, Nima, Adve, Sarita V., Adve, Vikram S., Welc, Adam, Shpeisman, Tatiana
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!