Non-deterministic expressions and predicate transformers

DOI10.1016/S0020-0190(97)00023-9MaRDI QIDQ287006zbMATH OpenFDO

Authors Joseph M. Morris

Publication date 26 May 2016

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

zbMATH Keywords

nondeterministic expressionsrefinement calculusweakest preconditions

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3876560
• Don't care non-determinism in logic program refinement
• Mathematics of Program Construction
• scientific article; zbMATH DE number 1303996
• scientific article; zbMATH DE number 1086636

Cites work

• scientific article; zbMATH DE number 3982493 (Why is no real title available?)
• scientific article; zbMATH DE number 3705887 (Why is no real title available?)
• scientific article; zbMATH DE number 3740740 (Why is no real title available?)
• scientific article; zbMATH DE number 46740 (Why is no real title available?)
• scientific article; zbMATH DE number 512959 (Why is no real title available?)
• scientific article; zbMATH DE number 194510 (Why is no real title available?)
• scientific article; zbMATH DE number 194642 (Why is no real title available?)
• A fast pattern matching algorithm derived by transformational and assertional reasoning
• A typed logic of partial functions reconstructed classically
• Semantics of under-determined expressions

Cited in

(6)

• Don't care non-determinism in logic program refinement
• How to calculate with nondeterministic functions
• Computer Science Logic
• Predicate transformers for extended probability and non-determinism
• Deterministic Caterpillar Expressions
• scientific article; zbMATH DE number 512951 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q287006)