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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Horváth, Zoltán (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Series: Lecture Notes in Computer Science, 4164
• Subjects: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer Science.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Software Engineering.

Table of Contents:

• 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.