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. 
View on Springer
48 Citations
Highly Influential Citations
1
Background Citations
4
Methods Citations
1
Results Citations
1

Topics from this paper

      48 Citations

      Citation Type

      Citation Type

      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 the… Expand
      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 are… Expand
      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 similar… Expand
      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
      ...