Nothing Special   »   [go: up one dir, main page]

skip to main content
research-article
Open access

The Least Conjunctive Refinement and Promotion in the Refinement Calculus

Published: 01 September 1999 Publication History

Abstract.

A syntactic calculation of Morgan's least conjunctive refinement operator for predicate transformers is developed. The operator is used to develop a general approach to lifting relational operators to predicate transformer operators. Predicate transformer versions of the relational conjunction and disjunction operators are considered in detail. The Z-based technique of program promotion is considered in a refinement calculus setting. A standard Z promotion example is recast in the refinement calculus.

Cited By

View all
  • (2003)Operation refinement and monotonicity in the schema calculusProceedings of the 3rd international conference on Formal specification and development in Z and B10.5555/1761968.1761977(103-126)Online publication date: 4-Jun-2003

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Formal Aspects of Computing
Formal Aspects of Computing  Volume 11, Issue 1
Sep 1999
105 pages
ISSN:0934-5043
EISSN:1433-299X
Issue’s Table of Contents

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 September 1999
Published in FAC Volume 11, Issue 1

Author Tag

  1. Keywords: Refinement calculus; Predicate transformers; Z; Promotion; Frame typing

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)17
  • Downloads (Last 6 weeks)2
Reflects downloads up to 14 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2003)Operation refinement and monotonicity in the schema calculusProceedings of the 3rd international conference on Formal specification and development in Z and B10.5555/1761968.1761977(103-126)Online publication date: 4-Jun-2003

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Full Access

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media