Download the fantastic book titled Equational Logic as a Programming Language written by Michael J. O'Donnell, available in its entirety in both PDF and EPUB formats for online reading. This page includes a concise summary, a preview of the book cover, and detailed information about "Equational Logic as a Programming Language", which was released on 02 June 1985. We suggest perusing the summary before initiating your download. This book is a top selection for enthusiasts of the Computers genre.
Summary of Equational Logic as a Programming Language by Michael J. O'Donnell PDF
This book describes an ongoing equational programming project that started in 1975. Within the project an equational programming language interpreter has been designed and implemented. The first part of the text (Chapters 1-10) provides a user's manual for the current implementation. The remaining sections cover the following topics: programming techniques and applications, theoretical foundations, implementation issues. Giving a brief account of the project's history (Chapter 11), the author devotes a large part of the text to techniques of equational programming at different levels of abstraction. Chapter 12 discusses low-level techniques including the distinction of constructors and defined functions, the formulation of conditional expressions and error and exception handling. High-level techniques are treated in Chapter 15 by discussing concurrency, nondeterminism, the relationship to dataflow programs and the transformation of recursive programs called dynamic programming. In Chapter 16 the author shows how to efficiently implement common data structures by equational programs. Modularity is discussed in Chapter 14. Several applications are also presented in the book. The author demonstrates the versatility of equational programming style by implementing syntactic manipulation algorithms (Chapter 13). Theoretical foundations are introduced in Chapter 17 (term rewriting systems, herein called term reduction systems). In Chapter 19 the author raises the question of a universal equational machine language and discusses the suitability of different variants of the combinator calculus for this purpose. Implementation issues are covered in Chapters 18 and 20 focused around algorithms for efficient pattern matching, sequencing and reduction. Aspects of design and coordination of the syntactic processors are presented as well.
Detail About Equational Logic as a Programming Language PDF
- Author : Michael J. O'Donnell
- Publisher : MIT Press (MA)
- Genre : Computers
- Total Pages : 334 pages
- ISBN :
- Release Date : 02 June 1985
- PDF File Size : 20,6 Mb
- Language : English
- Rating : 4/5 from 21 reviews
Clicking on the GET BOOK button will initiate the downloading process of Equational Logic as a Programming Language by Michael J. O'Donnell. This book is available in ePub and PDF format with a single click unlimited downloads.