Generating algebraic laws from imperative programs

DOI10.1016/S0304-3975(98)00278-3zbMath0914.68132MaRDI QIDQ1285784

H. Peter Gumm

Publication date: 28 April 1999

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

algorithmdata structurehoare calculusnew Paltz program verifier

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items (1)

Mechanical inference of invariants for FOR-loops

Cites Work

• Unnamed Item
• Ten Years of Hoare's Logic: A Survey—Part I
• A New Incompleteness Result for Hoare's System
• Soundness and Completeness of an Axiom System for Program Verification
• An axiomatic basis for computer programming

This page was built for publication: Generating algebraic laws from imperative programs