Central European Functional Programming School von Zoltán Horváth | First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures | ISBN 9783540468455

Central European Functional Programming School

First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures

von Zoltán Horváth

Central European Functional Programming School

First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures

von Zoltán Horváth

Inhaltsverzeichnis

Generic Editors for the World Wide Web.
Fully Automatic Testing with Functions as Specifications.
Functional Array Programming in SaC.
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach.
The Essence of Dataflow Programming.
Temporal Properties of Clean Programs Proven in Sparkle-T.
Tutorial on Subtype Marks.
Designing Distributed Computational Skeletons in D-Clean and D-Box.