# Program Construction

@inproceedings{Stone1979ProgramC, title={Program Construction}, author={R. Stone and D. Cooke}, booktitle={Lecture Notes in Computer Science}, year={1979} }

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

#### 48 Citations

Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development

- Computer Science
- TAPSOFT, Vol.2
- 1989

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

- Computer Science
- GWAI
- 1989

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

- 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

- Mathematics, Computer Science
- Formal Program Development
- 1993

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)

- Computer Science
- Proceedings. Conference on Software Maintenance - 1989
- 1989

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 the… Expand

On Recent Trends in Algebraic Specification

- Computer Science
- ICALP
- 1989

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

- Computer Science, Mathematics
- RelMiCS
- 2009

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

- Computer Science
- WG
- 1987

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 are… Expand

Approaches to executable specifications

- Computer Science
- 1982

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 similar… Expand

Report on an Implementation of a Semi-inverter

- Computer Science
- Ershov Memorial Conference
- 2006

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