Horváth, Zoltán.

Central European Functional Programming School First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures / [electronic resource] : by Zoltán Horváth. - 1st ed. 2006. - VII, 257 p. online resource. - Theoretical Computer Science and General Issues, 4164 2512-2029 ; . - Theoretical Computer Science and General Issues, 4164 .

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.

9783540468455

10.1007/11894100 doi


Computer programming.
Compilers (Computer programs).
Software engineering.
Programming Techniques.
Compilers and Interpreters.
Software Engineering.

QA76.6-76.66

005.11