Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Refinement calculus

Known as: Calculus (disambiguation) 
The refinement calculus is a formalized approach to stepwise refinement for program construction. The required behaviour of the final executable… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
  • P. Lammich
  • Journal of Automated Reasoning
  • 2017
  • Corpus ID: 10588836
Many algorithms can be implemented most efficiently with imperative data structures. This paper presents Sepref, a stepwise… Expand
  • table 1
  • table 2
Is this relevant?
Highly Cited
2004
Highly Cited
2004
In this paper, we address the correct refinement of abstract architectural models into more platform-specific representations. We… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Workflow nets are recognized as a modelling paradigm for the business process modelling. We introduce and investigate several… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1998
Highly Cited
1998
From the Publisher: The authors begin with a presentation of a new foundation for the refinement calculus based on lattice… Expand
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Categories We can generalize the notion of a concrete category to an (abstract) category. A category C consists of a collection… Expand
Is this relevant?
1997
1997
The lack of a method for developing programs from Z specifications is a difficulty that is now widely recognised. As a… Expand
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Action systems provide a general description of reactive systems, capable of modeling terminating, aborting and infinitely… Expand
  • figure 1
Is this relevant?
Highly Cited
1990
Highly Cited
1990
  • S. King
  • VDM Europe
  • 1990
  • Corpus ID: 21752478
Z has been developed as a formal specification notation, and, as such, has been used successfully for a number of years. Recently… Expand
Is this relevant?
Highly Cited
1989
Highly Cited
1989
  • R. Back
  • REX Workshop
  • 1989
  • Corpus ID: 34760665
It is shown how to apply the refinement calculus to stepwise refinement of both parallel programs and reactive programs. The… Expand
Is this relevant?
Highly Cited
1983
Highly Cited
1983
The creative activity of programming—to be distinguished from coding—is usually taught by examples serving to exhibit certain… Expand
Is this relevant?