Proving properties of lazy functional programs with Sparkle

Files in This Item:

File	Description	Size	Format
	preprint version	495.1 kB	Adobe PDF	View/Open
	postprint version	659.21 kB	Adobe PDF	View/Open

Title:	Proving properties of lazy functional programs with Sparkle
Author(s):	Mol, M.J. de Eekelen, M.C.J.D. van (073839825) Plasmeijer, Rinus (068439180) Horváth, Zoltán
Publication year:	2008
Document type:	Article in monograph or in proceedings
Book title:	Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
ISBN:	9783540880585
Start page:	p. 41
End page:	p. 86
Series:	Lecture Notes in Computer Science ; 5161
Publisher:	Berlin : Springer-Verlag
Annotation:	molm07:ProvingPropertiesWithSparkle_CEFP2007
Subject:	Digital Security Model Based System Development
Organization:	Software Technology Security of Systems Model Based System Development
Appears in Collections:	Academic bibliography

Please use this identifier to cite or link to this item: http://hdl.handle.net/2066/72147