Non-deterministic expressions and predicate transformers

DOI10.1016/S0020-0190(97)00023-9zbMATH Open1336.68039MaRDI QIDQ287006FDOQ287006

Authors: Joseph M. Morris 

Publication date: 26 May 2016

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A typed logic of partial functions reconstructed classically
• Semantics of under-determined expressions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A fast pattern matching algorithm derived by transformational and assertional reasoning

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
• Title not available (Why is that?)

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)