Read Algebraic Semantics of Imperative Programs (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)

Algebraic Semantics of Imperative Programs (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)

Unknown Author

4.9/5 (9684 ratings)

Description: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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Algebraic Semantics of Imperative Programs (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES). To get started finding Algebraic Semantics of Imperative Programs (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES), you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: —

Format: PDF, EPUB & Kindle Edition

Publisher: —

Release: —

ISBN: 026207172X

Description: 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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Algebraic Semantics of Imperative Programs (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES). To get started finding Algebraic Semantics of Imperative Programs (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES), you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

Algebraic Semantics of Imperative Programs (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)

Algebraic Semantics of Imperative Programs (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)

More Books