Article

Refinement Calculus, Part I: Sequential Nondeterministic Programs

Authors:

Ralph-Johan Back,

Joakim von WrightAuthors Info & Claims

Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop

Pages 42 - 66

Published: 29 May 1989 Publication History

Abstract

No abstract available.

Cited By

View all

Aouadhi MDelahaye BLanoix A(2019)Introducing probabilistic reasoning within Event-BSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0626-518:3(1953-1984)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10270-017-0626-5
Brezovan MBadica CBădică CManolopoulos YCoşulschi MEleftherakis GLeon F(2015)Event-B Modeling of a Rule Base for an Expert System Using Forward ChainingProceedings of the 7th Balkan Conference on Informatics Conference10.1145/2801081.2801101(1-8)Online publication date: 2-Sep-2015
https://dl.acm.org/doi/10.1145/2801081.2801101
Boström P(2011)Contract-based verification of simulink modelsProceedings of the 13th international conference on Formal methods and software engineering10.5555/2075089.2075116(291-306)Online publication date: 26-Oct-2011
https://dl.acm.org/doi/10.5555/2075089.2075116
Show More Cited By

Refinement Calculus, Part I: Sequential Nondeterministic Programs
1. Theory of computation
  1. Semantics and reasoning

Recommendations

Refinement Calculus: A Systematic Introduction
The Least Conjunctive Refinement and Promotion in the Refinement Calculus
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 ...
Intuitionistic refinement calculus
TLCA'07: Proceedings of the 8th international conference on Typed lambda calculi and applications

Refinement calculi are program logics which formalize the "top-down" methodology of software development promoted by Dijkstra and Wirth in the early days of structured programming. I present here the shallow embedding of a refinement calculus into Coq ...

Comments

Information & Contributors

Information

Published In

Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop

May 1989

807 pages

ISBN:3540525599

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 29 May 1989

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 04 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Aouadhi MDelahaye BLanoix A(2019)Introducing probabilistic reasoning within Event-BSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0626-518:3(1953-1984)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10270-017-0626-5
Brezovan MBadica CBădică CManolopoulos YCoşulschi MEleftherakis GLeon F(2015)Event-B Modeling of a Rule Base for an Expert System Using Forward ChainingProceedings of the 7th Balkan Conference on Informatics Conference10.1145/2801081.2801101(1-8)Online publication date: 2-Sep-2015
https://dl.acm.org/doi/10.1145/2801081.2801101
Boström P(2011)Contract-based verification of simulink modelsProceedings of the 13th international conference on Formal methods and software engineering10.5555/2075089.2075116(291-306)Online publication date: 26-Oct-2011
https://dl.acm.org/doi/10.5555/2075089.2075116
Chen YSanders J(2010)UTP and sustainabilityProceedings of the Third international conference on Unifying theories of programming10.5555/1939848.1939850(46-73)Online publication date: 15-Nov-2010
https://dl.acm.org/doi/10.5555/1939848.1939850
Armoni MBen-Ari M(2009)The concept of nondeterminismACM SIGCSE Bulletin10.1145/1595453.159549541:2(141-160)Online publication date: 25-Jun-2009
https://dl.acm.org/doi/10.1145/1595453.1595495
Woodcock JLarsen PBicarregui JFitzgerald J(2009)Formal methodsACM Computing Surveys10.1145/1592434.159243641:4(1-36)Online publication date: 9-Oct-2009
https://dl.acm.org/doi/10.1145/1592434.1592436
Prasetya IVos TAzurat ASwierstra S(2004)A UNITY-based framework towards component based systemsProceedings of the 8th international conference on Principles of Distributed Systems10.1007/11516798_4(52-66)Online publication date: 15-Dec-2004
https://dl.acm.org/doi/10.1007/11516798_4
Fränzle MMüller-Olm M(1999)Compilation and Synthesis for Real-Time Embedded ControllersCorrect System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)10.5555/646005.673743(256-287)Online publication date: 1-Jan-1999
https://dl.acm.org/doi/10.5555/646005.673743

Abstract

Cited By

Recommendations

Refinement Calculus: A Systematic Introduction

The Least Conjunctive Refinement and Promotion in the Refinement Calculus

Intuitionistic refinement calculus

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations