Calculating with procedure calls

DOI10.1016/0020-0190(93)90098-TzbMath0791.68105OpenAlexW2129304035MaRDI QIDQ685524

A. Bijlsma

Publication date: 17 October 1993

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(93)90098-t

zbMATH Keywords

formal semanticsprogram specificationprogram correctnessproof rulesprocedures

Mathematics Subject Classification ID

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

Related Items (2)

Predicate transformers and higher-order programs ⋮ Calculating sharp adaptation rules.

Cites Work

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

This page was built for publication: Calculating with procedure calls