Algebraic Semantics of Imperative Programs
English | May 22, 1996 | ISBN: 026207172X | 229 Pages | PDF | 26 MB
Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run. The semantics of imperative programs is specified in a formal, implemented notation, the language OBJ; this makes the semantics highly rigorous yet simple, and provides support for the mechanical verification of program properties.OBJ was designed for algebraic semantics; its declarations introduce symbols for sorts and functions, its statements are equations, and its computations are equational proofs. Thus, an OBJ "program" is an equational theory, and every OBJ computation proves some theorem about such a theory. This means that an OBJ program used for defining the semantics of a program already has a precise mathematical meaning. Moreover, standard techniques for mechanizing equational reasoning can be used for verifying axioms that describe the effect of imperative programs on abstract machines. These axioms can then be used in mechanical proofs of properties of programs.Intended for advanced undergraduates or beginning graduate students, Algebraic Semantics of Imperative Programs contains many examples and exercises in program verification, all of which can be done in OBJ.
Download:
http://longfiles.com/gjaax56gm95e/Algebraic_Semantics_of_Imperative_Programs__ebook3000.pdf.html
[Fast Download] Algebraic Semantics of Imperative Programs
Empirical Research in Statistics Education
TTC - Understanding Calculus: Problems, Solutions, and Tips [repost]
A Companion to Interdisciplinary Stem Project-Based Learning, Second Edition
Intelligent Mathematics II: Applied Mathematics and Approximation Theory
Advances and Applications in Chaotic Systems
Proceedings of the European Computing Conference: Volume 2
Numerical Methods for Wave Equations in Geopysical Fluid Dynamics
Abstract Analytic Function Theory and Hardy Algebras (Lecture Notes in Mathematics) by K. Barbey
Group Theory
Low-Dimensional Geometry
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.
Astronomy and Cosmology | Physics |
Philosophy | Medicine |
Mathematics | DSP |
Cryptography | Chemistry |
Biology and Genetics | Psychology and Behavior |
100 Essential Things You Didn't Know You d(3705)
The Story of Science(3567)
Introducing Mathematics: A Graphic Guide(3428)
How To Learn And Memorize Math, Numbers, E(2961)
Linear Algebra: A Modern Introduction,, 2n(2409)
Encyclopedia of Mathematics(2295)
The Foundations of Mathematics, 2 edition(2280)
Geometric Algebra (Dover Books on Mathemat(2187)
Understanding Statistics(2060)
The Concise Oxford Dictionary of Mathemati(2041)
Applied Mathematics, 4th Edition(1984)
Calculus For Dummies(1952)
Cambridge IGCSE Mathematics: Core & Extend(1938)
Introduction to Logic, 2nd edition(1857)
Geometry for Dummies(1783)
