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.

Buy it now

Buying options

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

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

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

Editors and Affiliations

  • Dept. of Programming Languages and Compilers,  

    Zoltán Horváth

Bibliographic Information

Buy it now

Buying options

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

Tax calculation will be finalised at checkout

Other ways to access