Programming Logics: An Introduction to Verification and Semantics

By Raymond D. Gumb

The only up-to-date, truly introductory level text on programming logic. Covers consistent and complementary definitions of programming languages, with emphasis on verification and axiomatic, operational, translational, and denotational semantics. Hands-on approach provides strong coverage of programming language constructs (each chapter introduces a new minilanguage). Describes use of free logic in handling errors and establishes connection with classical mathematics (to demonstrate soundness of proofs). Includes many exercises.

• Format: Hardcover
• Language: English
• ISBN: 0471605395
• ISBN13: 9780471605393
• Release Date: March 1989
• Publisher: Wiley
• Length: 334 Pages
• Weight: 1.09 lbs.