Central European Functional Programming School [electronic resource] : First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /
Horváth, Zoltán.author.
Central European Functional Programming SchoolCorporate Author
Central European Functional Programming School(1st :2005 :Budapest, Hungary)
Horváth, Zoltán,1962-
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
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.
Computer programming.
Programming languages (Electronic computers).
Software engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Software Engineering.

Lecture Notes in Computer Science