Logo

The Design of Functional Programs - A Calculational Approach

The Design of Functional Programs - A Calculational Approach
by

Publisher: Technische Universiteit Eindhoven
Number of pages: 228

Description:
This document was started as a research to what extent functional programs can be designed in a calculational way. This should be possible because functional-program notations carry less operational connotations than their sequential counterparts do, functional-program notations more resemble "ordinary" mathematical formalisms than sequential-program notations do. This raised a question of whether the two ways of programming are really different: they might very well turn out to have more in common than one would expect at first sight. The results of this research are laid down in this document. This study is about programming, as a design activity; it is not about programming languages, formal semantics included, nor about implementations. This implies that this document discusses semantics and implementations only as far as needed for its purpose, namely the formulation of a set of rules for designing programs.

Download or read it online for free here:
Download link
(4.4MB, PDF)

Similar books

Book cover: Functional Programming and Parallel Graph RewritingFunctional Programming and Parallel Graph Rewriting
by - Addison-Wesley
An introduction to the techniques of functional programming, the associated computational models and the implementation of functional programming languages on both sequential and parallel machines. All the chapters include a summary and exercises.
(4906 views)
Book cover: Functional Programming in QiFunctional Programming in Qi
by - Upfront Publishing
The book is both a comprehensive introduction to Qi and to functional programming. It covers foundational material and is suitable for an undergraduate introduction to functional programming. It also explores the theoretical foundations of Qi.
(5779 views)
Book cover: Professor Frisby's Mostly Adequate Guide to Functional ProgrammingProfessor Frisby's Mostly Adequate Guide to Functional Programming
- GitBook
This is a book on the functional paradigm in general. We will use the world's most popular functional programming language: JavaScript. JavaScript will be our means of learning a paradigm, where you apply it is up to you.
(1999 views)
Book cover: The Conception, Evolution, and Application of Functional Programming LanguagesThe Conception, Evolution, and Application of Functional Programming Languages
by - Yale University
The foundations of functional programming languages are examined from both historical and technical perspectives. Their evolution is traced through several periods. The attention is paid to the main features that characterize functional languages.
(6814 views)