Program Construction

@inproceedings{Stone1979ProgramC,
  title={Program Construction},
  author={R. Stone and D. Cooke},
  booktitle={Lecture Notes in Computer Science},
  year={1979}
}
  • R. Stone, D. Cooke
  • Published in
    Lecture Notes in Computer…
    1979
  • Engineering, Computer Science
From the Publisher: All stages of program construction, from original specifications through the final program, are traced in this detailed introduction to the design and writing of computer programs. 

Topics from this paper

Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development
TLDR
A methodology for PROgram development by SPECification and TRAnsformation is described, which forms the basis for constructing correct and efficient programs by gradual transformation. Expand
Machine-Assisted Program Construction and Modification
TLDR
Two calculi are presented, one for the construction of programs in the spirit of Martin-Lof, and the other for the verification of program transformations derived from a general axiomatization of Dynamic Logic. Expand
Program Analysis by Formal Transformation
  • M. Ward
  • Computer Science
  • Comput. J.
  • 1996
Supported by an EPSRC project: "A proof theory for program refinement and equivalence: extensions".
Program Development in an Algebraic Setting
  • P. Pepper
  • Mathematics, Computer Science
  • Formal Program Development
  • 1993
TLDR
A framework for program development is presented, which is based on concepts from algebra and logic, and programming is viewed as a process that successively extends the program under consideration by adding new axioms or theorems to it. Expand
The Maintainer's Assistant (software tool)
The Maintainer's Assistant is a code analysis tool aimed at helping the maintenance programmer to understand and modify a given program. Program transformation techniques are employed by theExpand
On Recent Trends in Algebraic Specification
In this paper we focus on three different aspects which can be considered to be recent trends within theory and applications of algebraic specification.
General Correctness Algebra
TLDR
The Egli-Milner order is treated algebraically and it is shown how to obtain least fixpoints, used to solve recursion equations, in terms of the natural order. Expand
Development of Several Reachability Algorithms for Directed Graphs
In the development above only the control structure of the algorithms was subject to transformations. The final versions (6) and (7) which are due to the different generalizations in Section 3.1 areExpand
Approaches to executable specifications
There is a suggestion of oxymoronic incongruity in the term "executable specification." Much of the pioneering work in software specification would invoke the metaphor of the blueprint or similarExpand
Report on an Implementation of a Semi-inverter
TLDR
An implementation of a semi-inversion method is reported on and some examples of semi- inversions made by the implementation are shown and limitations and possible extensions are discussed. Expand
...
1
2
3
4
5
...