Bookbot

Central European Functional Programming School

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

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.

Pubblicazione

Acquisto del libro

Central European Functional Programming School, Zoltán Horváth

Lingua
Pubblicato
2006
product-detail.submit-box.info.binding
(In brossura)
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

Sottotitolo
First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
Lingua
Inglese
Editore
Springer
Pubblicato
2006
Formato
In brossura
ISBN10
3540468439
ISBN13
9783540468431
Serie
Descrizione
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.