The Design of Functional Programs - A Calculational Approach by Dr. Robert Richard Hoogerwoord

The Design of Functional Programs - A Calculational Approach

The Design of Functional Programs - A Calculational Approach by Dr. Robert Richard Hoogerwoord
Publisher: Technische Universiteit Eindhoven 1989
Number of pages: 228
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.
Computers & Internet Computer Science Programming Language Theory Functional Programming



More Free E-Books For Programming Language Theory


Similar Books For Programming Language Theory

1. Crafting Interpreters: A handbook for making programming languages by Robert Nystrom
2. Compiler Construction by William M. Waite, Gerhard Goos
3. Purely Functional Data Structures by Chris Okasaki
4. Professor Fris by 's Mostly Adequate Guide to Functional Programming
5. Compiler Design in C by Allen I. Holub
6. Write You a Haskell: Building a modern functional compiler from first principles by Stephen Diehl
7. ROSE Compiler Framework by
8. Intuitionistic Type Theory by Per Martin-Loef
9. Homotopy Type Theory by Peter Aczel, et al.
10. Functional Programming in Qi by Mark Tarver
11. Implementing Programming Languages by Aarne Ranta
12. Real World Functional Programming by Tomas Petricek, Jon Skeet, Yin Zhu
13. Compiler Construction by
14. Compiler Design: Theory, Tools, and Examples by Seth D. Bergmann
15. Category Theory and Functional Programming by Mikael Vejdemo-Johansson
16. A Gentle Introduction to ML by Andrew Cumming
17. Certified Programming with Dependent Types by Adam Chlipala
18. Introduction to Type Theory by Herman Geuvers
19. Compilers and Compiler Generators by P.D. Terry
20. Programming in Martin-Lof's Type Theory: An Introduction by Bengt Nordstrom, Kent Petersson, Jan M. Smith
21. Let's Build a Scripting Engine-Compiler by S. Arbayo
22. Lightweight Compiler Techniques by Nils M Holm
23. Functional Programming and Parallel Graph Rewriting by Rinus Plasmeijer, Marko van Eekelen
24. Language Translation Using PCCTS and C++ by Terence John Parr
25. Bison: The Yacc-compatible Parser Generator by Charles Donnelly, Richard Stallman
26. The Power PC Compiler Writer's Guide by Steve Hoxey, at al.
27. Understanding and Writing Compilers by Richard Bornat
28. Using and Porting the GNU Compiler Collection (GCC) by Vincent Chung
29. GNU Compiler Collection (GCC) Internals by
30. Project Oberon - The Design of an Operating System and Compiler by Niklaus Wirth, Jürg Gutknecht
31. Concurrent Programming in Erlang by Robert Virding, Claes Wikstrom, Mike Williams
32. Let's Build a Compiler by Jack Crenshaw
33. An Introduction to Compilers by Dirk Vermeir
34. Compiler Construction using Flex and Bison by Anthony A. Aa
35. Compiler Construction by Niklaus Wirth
36. Basics of Compiler Design by Torben Mogensen
37. Type Theory and Functional Programming by Simon Thompson
38. The Conception, Evolution, and Application of Functional Programming Languages by Paul Hudak
39. Programming in Standard ML by Robert Harper
40. The Design of Functional Programs - A Calculational Approach by Dr. Robert Richard Hoogerwoord
41. Parsing Techniques: A Practical Guide by Dick Grune, Ceriel J. H. Jacobs
42. The GENTLE Compiler Construction System by Friedrich Wilhelm Schröer



Categories