Reasoned Programming by Krysia Broda et al

Reasoned Programming

Reasoned Programming
by Krysia Broda et al

Publisher: Prentice Hall Trade 1994
ISBN/ASIN: 0130988316
ISBN-13: 9780130988317
Number of pages: 311

The book is divided into two complementary parts, the first on Programming and the second on Logic. Though they are both about logical reasoning, the first half concerns the ideas about programs that the reasoning is intended to capture, while the second half is more about the formal machinery. The distinction is somewhat analogous to that often seen in books about programming languages a first part is an introduction to programming using the language, and a second part is a formal report on it. To read the book from scratch, one would most likely read the two parts in parallel, and this is in fact how the material was used for the computer science course at Imperial College. However, the division into two reasonably disjoint parts means that people who already have some background in logic can see the programming story told without interruption.

Home page url

Download or read it online here:
Download link
(1.4MB, PDF)

Similar books

Dictionary of Programming LanguagesDictionary of Programming Languages
by Neal Ziring
The Dictionary of Programming Languages is an online compendium of computer coding methods assembled to provide information and aid your appreciation for computer science history. The dictionary currently has over 120 entries.
Topics in History and Comparing Programming LanguagesTopics in History and Comparing Programming Languages
by Dennie Van Tassel - Gavilan College
This website contains files on the history of computer programming language statements. The files compare programming language statements in several different languages tracing the statement from early languages to present languages.
Semantics of Programming LanguagesSemantics of Programming Languages
by Andrew M. Pitts - University of Cambridge
These notes introduce the structural, operational approach to programming language semantics. The course shows how to specify the meaning of some simple programming language constructs and to reason formally about semantic properties of programs.
Formal Syntax and Semantics of Programming LanguagesFormal Syntax and Semantics of Programming Languages
by Kenneth Slonneger, Barry L. Kurtz - Addison Wesley Longman
The book presents the typically difficult subject of formal methods in an informal, easy-to-follow manner. Readers with a basic grounding in discreet mathematics will be able to understand the practical applications of these difficult concepts.