Program derivation

In computer science, program derivation is the derivation of a program from its specification, by mathematical means. To derive a program means to… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Relative correctness is the property of a program to be morecorrect than another program with respect to a given specification… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2009
2009
Relational program derivation is the technique of stepwise refining a relational specification to a program by algebraic rules… (More)
  • figure 3
  • figure 13
  • figure 15
Is this relevant?
1997
1997
We prove two transformation rules over popular primitives of parallel programming: the rst rule transforms a sequential… (More)
Is this relevant?
1993
1993
In the proofs-as-programs methodology, veri ed programs are developed through theorem-proving in a constructive logic. Under this… (More)
Is this relevant?
1992
1992
Declaration This dissertation is the result of my own work and includes nothing which is the outcome of work done in… (More)
  • figure 3.2
  • figure 3.3
  • figure 3.5
  • figure 3.7
  • figure 3.8
Is this relevant?
Highly Cited
1989
Highly Cited
1989
Thrs paper develops a transformational paradrgm by which nonnumertcal algorrthms are treated as fixed pomt computatrons derived… (More)
  • table 1
  • table 2
Is this relevant?
1989
1989
We present a methodology for using analogy to derive programs based on a derivational transformat ion method. The derived… (More)
Is this relevant?
1989
1989
Reading a book is also kind of better solution when you have no enough money or time to get your own adventure. This is one of… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
A calculus of program refinements is described, to be used as a tool for the step-by-step derivation of correct programs. A… (More)
Is this relevant?
Highly Cited
1978
Highly Cited
1978
Treating predicate logic as both a specification language and a programming language, firstorder logical deduction is shown to be… (More)
Is this relevant?