Zoltán Horváth

Central European Functional Programming School

First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
Herausgegeben:Horváth, Zoltán

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Theoretical Computer Science and General Issues 4164
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 11894100, 978-3-540-46843-1
• Seitenzahl: 272
• Erscheinungstermin: 2. Oktober 2006
• Englisch
• Abmessung: 235mm x 155mm x 15mm
• Gewicht: 386g
• ISBN-13: 9783540468431
• ISBN-10: 3540468439
• Artikelnr.: 20947055

Autorenporträt

Zoltán Horváth, Eötvös Loránd University, Budapest, Hungary

Inhaltsangabe

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.