Equivalence of the Gries and Martin proof rules for procedure calls

DOI10.1007/BF00267863zbMath0577.68019OpenAlexW2097395076MaRDI QIDQ1065535

A. Bijlsma, J. G. Wiltink, P. A. Matthews

Publication date: 1986

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00267863

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

Predicate transformers and higher-order programs

Cites Work

• A general proof rule for procedures in predicate transformer semantics
• Unnamed Item

This page was built for publication: Equivalence of the Gries and Martin proof rules for procedure calls