• Medientyp: E-Book; Konferenzbericht
  • Titel: Central European Functional Programming School : First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
  • Beteiligte: Horváth, Zoltán [Sonstige Person, Familie und Körperschaft]
  • Erschienen: Berlin, Heidelberg: Springer Berlin Heidelberg, 2006
  • Erschienen in: Lecture notes in computer science ; 4164
    Bücher
  • Umfang: Online-Ressource (VII, 257 p. Also available online, digital)
  • Sprache: Englisch
  • DOI: 10.1007/11894100
  • ISBN: 9783540468455
  • Identifikator:
  • RVK-Notation: SS 4800 : Lecture notes in computer science
  • Schlagwörter: Funktionale Programmierung
  • Entstehung:
  • Anmerkungen:
  • Beschreibung: 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.