Non-deterministic expressions and predicate transformers

DOI10.1016/S0020-0190(97)00023-9zbMath1336.68039MaRDI QIDQ287006

Joseph M. Morris

Publication date: 26 May 2016

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

zbMATH Keywords

refinement calculusnondeterministic expressionsweakest preconditions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• A fast pattern matching algorithm derived by transformational and assertional reasoning
• A typed logic of partial functions reconstructed classically
• Semantics of under-determined expressions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Non-deterministic expressions and predicate transformers