close
Skip to main content
Springer Nature Link
Log in

Central European Functional Programming School

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

  • Conference proceedings
  • © 2006
Save conference proceedings
View saved research

Overview

Editors:
  1. Zoltán Horváth

    1. Dept. of Programming Languages and Compilers

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)

Included in the following conference series:

Conference proceedings info: CEFP 2005.

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

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Free shipping worldwide - view details

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (8 papers)

  1. Front Matter

    Download chapter PDF

  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. Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach

    • Kevin Hammond
    Pages 100-134

  6. The Essence of Dataflow Programming

    • Tarmo Uustalu, Varmo Vene
    Pages 135-167

  7. Temporal Properties of Clean Programs Proven in Sparkle-T

    • Máté Tejfel, Zoltán Horváth, Tamás Kozsik
    Pages 168-190

  8. Tutorial on Subtype Marks

    • Tamás Kozsik
    Pages 191-222

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

  10. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Central European Functional Programming School

Editors and Affiliations

  • Dept. of Programming Languages and Compilers

    Zoltán Horváth

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Keywords

Publish with us

Policies and ethics

Back to top