Skip to main content
  • Conference proceedings
  • © 2006

Central European Functional Programming School

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

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4164)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): CEFP: Central European Functional Programming School

Conference proceedings info: CEFP 2005.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (8 papers)

  1. Front Matter

  2. Generic Editors for the World Wide Web

    • Rinus Plasmeijer, Peter Achten
    Pages 1-34
  3. Fully Automatic Testing with Functions as Specifications

    • Pieter Koopman, Rinus Plasmeijer
    Pages 35-61
  4. Functional Array Programming in SaC

    • Sven-Bodo Scholz
    Pages 62-99
  5. The Essence of Dataflow Programming

    • Tarmo Uustalu, Varmo Vene
    Pages 135-167
  6. Temporal Properties of Clean Programs Proven in Sparkle-T

    • Máté Tejfel, Zoltán Horváth, Tamás Kozsik
    Pages 168-190
  7. Tutorial on Subtype Marks

    • Tamás Kozsik
    Pages 191-222
  8. Designing Distributed Computational Skeletons in D-Clean and D-Box

    • Viktória Zsók, Zoltán Hernyák, Zoltán Horváth
    Pages 223-256
  9. Back Matter

Other Volumes

  1. Central European Functional Programming School

Keywords

  • Erlang
  • Haskell programming
  • Refactoring
  • applicative programming
  • distributed computing
  • functional programming
  • functional programming tools
  • higher level GUI programming
  • program folding
  • programming
  • programming language
  • reactive programming
  • real-time functional languages
  • recursion schemes
  • verification

Editors and Affiliations

  • Dept. of Programming Languages and Compilers,  

    Zoltán Horváth

Bibliographic Information

  • Book Title: Central European Functional Programming School

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

  • Editors: Zoltán Horváth

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/11894100

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2006

  • Softcover ISBN: 978-3-540-46843-1Published: 02 October 2006

  • eBook ISBN: 978-3-540-46845-5Published: 10 November 2006

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VII, 257

  • Topics: Programming Techniques, Compilers and Interpreters, Software Engineering

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions