complete hoare logic

FMOODS
2003

151views Formal Methods» more FMOODS 2003»

A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts

14 years 25 days ago

This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...

Cees Pierik, Frank S. de Boer

claim paper

Read More »

click to vote

FSTTCS
1999
Springer

120views Software Engineering» more FSTTCS 1999»

Hoare Logic for Mutual Recursion and Local Variables

14 years 3 months ago

Download www4.in.tum.de

We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...

David von Oheimb

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers