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

Front Cover
Springer Science & Business Media, Oct 2, 2006 - Computers - 256 pages
4 Reviews

This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the first Central European Functional Programming School, CEFP 2005, held in Budapest, Hungary, in July 2005. The eight revised full papers presented were carefully selected during two rounds of reviewing and improvement for inclusion in the book. The lectures cover a wide range of topics such as new programming language concepts for subtyping.

 

What people are saying - Write a review

Best on the Information Highway

User Review  - kathygirlm - Overstock.com

Learn tips and techniques from one of the masters of digitizing right in the safety of your own home. John Deer is one of the industrys foremost talents. Within the covers of this book lurk ... Read full review

Gave insight to digitizing

User Review  - maddierae - Overstock.com

Information in this publication assisted me in making the decision about what software to purchase as a newcomer to embroidery. It doesnt advise one program over the other but explains what you need ... Read full review

Contents

Generic Editors for the World Wide Web
1
Fully Automatic Testing with Functions as Specifications
35
Functional Array Programming in SAC
62
The Hume Approach
100
The Essence of Dataflow Programming
135
Temporal Properties of Clean Programs Proven in SparkleT
168
Tutorial on Subtype Marks
191
Designing Distributed Computational Skeletons in DClean and DBox
223
Author Index
257
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information