Logo

A Practical Theory of Programming

Large book cover: A Practical Theory of Programming

A Practical Theory of Programming
by

Publisher: Springer
ISBN/ASIN: 0387941061
ISBN-13: 9780387941066
Number of pages: 243

Description:
Understanding programming and programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is much simpler and more comprehensive than the current theories to date. In the theoretical model, a specification is just a boolean expression and refinement is just an ordinary implication. The author develops a practical and broad method for writing precise specifications and designing programs whose executions probably satisfy the specifications.

Home page url

Download or read it online for free here:
Download link
(multiple PDF files)

Similar books

Book cover: Programming Languages: Theory and PracticeProgramming Languages: Theory and Practice
by - Carnegie Mellon University
What follows is a working draft of a planned book that seeks to strike a careful balance between developing the theoretical foundations of programming languages and explaining the pragmatic issues involved in their design and implementation.
(11642 views)
Book cover: Semantics: Advances in Theories and Mathematical ModelsSemantics: Advances in Theories and Mathematical Models
by - InTech
The book is a blend of a number of great ideas, theories, mathematical models, and practical systems in the domain of Semantics. Topics include: Background; Queries, Predicates, and Semantic Cache; Algorithms and Logic Programming; etc.
(9597 views)
Book cover: The Theory of Languages and ComputationThe Theory of Languages and Computation
by - University of Pennsylvania
From the table of contents: Automata; Formal Languages (A Grammar for Parsing English, Context-Free Grammars, Derivations and Context-Free Languages, Normal Forms for Context-Free Grammars, Chomsky Normal Form, ...); Computability; Current Topics.
(9110 views)
Book cover: Let Over Lambda: 50 Years of LispLet Over Lambda: 50 Years of Lisp
by - Lulu.com
One of the most hardcore computer programming books out there. Starting with the fundamentals, it describes the most advanced features of the most advanced language: Common Lisp. This book is about macros, that is programs that write programs.
(22365 views)