Central European Functional Programming School

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

Autori

• Zoltán Horváth

Parametri

• Computer, IT, programmazione

Maggiori informazioni sul libro

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

Lingua: Inglese

Pubblicato: 2006

(In brossura)