Equational reasoning about programs with general recursion and call-by-value semantics

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Progress in informatics 2013-03, Vol.10 (10), p.19
Hauptverfasser:	KIMMELL, Garrin, STUMP, Aaron, D. EADES, Harley, FU, Peng, SHEARD, Tim, WEIRICH, Stephanie, CASINGHINO, Chris, SJOBERG, Vilhelm, COLLINS, Nathan, YUNG AHN, Ki
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!