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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Horváth, Zoltán (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4164
• Θέματα: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer Science.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Software Engineering.

Πίνακας περιεχομένων:

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