A general proof rule for procedures in predicate transformer semantics
type: Item
instance of: scholarly article
title: A general proof rule for procedures in predicate transformer semantics
zbMATH Open document ID: 0546.68012
DOI: 10.1007/BF00264276
author: Alain J. Martin
published in: Acta Informatica
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3870576
zbMATH Keywords: correctness
zbMATH Keywords: semantics
zbMATH Keywords: proof rule
zbMATH Keywords: procedure call
zbMATH Keywords: parameters
zbMATH Keywords: recursive procedures
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bf00264276
OpenAlex ID: W2015744089
Recommended article: A Semantic Basis for Proof Queries and Transformations
Recommended article: Predicate-transformer semantics of general recursion
Recommended article: Q4202945
Recommended article: Towards a calculus of predicate transformers
Recommended article: Transformational methodology for proving termination of logic programs
Recommended article: Predicate transformers and higher-order programs
Recommended article: Deriving proof rules from continuation semantics
Recommended article: An Intuitionistic Predicate Logic Theorem Prover
Recommended article: Predicate Transformer Semantics
Recommended article: Inductive proofs by specification transformations
description: scientific article; zbMATH DE number 3870576