Central European Functional Programming School

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

von Zoltán Horváth

272 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Software Engineering
• ISBN: 9783540468431
• Sprache: Englisch
• Erscheinungsdatum: 02.10.2006
• Größe: 235 x 155 mm
• Verlag: Springer