Program Construction

  title={Program Construction},
  author={R. G. Stone and D. J. Cooke},
  booktitle={Lecture Notes in Computer Science},
  • R. G. Stone, D. J. Cooke
  • Published in
    Lecture Notes in Computer…
  • 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. 
    48 Citations

    Topics from this paper.

    Program Analysis by Formal Transformation
    • 23
    • PDF
    Program Development in an Algebraic Setting
    • P. Pepper
    • Mathematics, Computer Science
    • Formal Program Development
    • 1993
    • 2
    • PDF
    The Maintainer's Assistant (software tool)
    • 53
    On Recent Trends in Algebraic Specification
    • 30
    General Correctness Algebra
    • 11
    • PDF
    Report on an Implementation of a Semi-inverter
    • 8