A simple relation between relational and predicate transformer semantics for nondeterministic programs
type: Item
instance of: scholarly article
title: A simple relation between relational and predicate transformer semantics for nondeterministic programs
zbMATH Open document ID: 0468.68012
DOI: 10.1016/0020-0190(80)90048-4
author: Mila Majster-Cederbaum
published in: Information Processing Letters
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 3735101
zbMATH Keywords: nondeterministic programs
zbMATH Keywords: semantics
zbMATH Keywords: predicate transformer
zbMATH Keywords: relational semantics
MaRDI profile type: Publication
full work available at URL: 0020-0190(80)90048-4
OpenAlex ID: W2077049952
cites work: Guarded commands, nondeterminacy and formal derivation of programs
cites work: Q4144755
cites work: Complementary definitions of programming language semantics
cites work: Soundness and Completeness of an Axiom System for Program Verification
cites work: Consistent and complementary formal theories of the semantics of programming languages
cites work: Q3938526
description: scientific article; zbMATH DE number 3735101