Central European Functional Programming School First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures / [electronic resource] :
edited by Zoltán Horváth.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
- VII, 257 p. Also available online. online resource.
- Lecture Notes in Computer Science, 4164 0302-9743 ; .
- Lecture Notes in Computer Science, 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 science.
Software engineering.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Software Engineering.
QA76.6-76.66
005.11
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 science.
Software engineering.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Software Engineering.
QA76.6-76.66
005.11