Program development and documentation by informal transformations and derivations

  • Giovanna Petrone
  • Luigi Petrone
Colloquium On Software Engineering Rigorous Approaches To Programming
Part of the Lecture Notes in Computer Science book series (LNCS, volume 186)


Minimal Span Tree Derivation Process Correctness Proof Program Transformation Sorting Method 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. Baase S. |1978| Computer Algorithms: introduction to Design and Analysis. Addison-Wesley.Google Scholar
  2. Balzer R. |1981| Transformational Implementation: an example. IEEE Trans. on Soft. Eng., Vol SE-7, 3–14.Google Scholar
  3. Bauer F.L. |1976| Programming as an evolutionary process. Proc. 2-nd Int. Conf. on Soft. Eng., San Francisco, 223–234.Google Scholar
  4. Bauer F.L. and Wössner H. |1982| Algorithmic Language and Program Development. Springer Verlag.Google Scholar
  5. Burstall R.M. and Darlington J.A. |1977| A transformation system for developing recursive programs. J. ACM 24, 44–67.Google Scholar
  6. Darlington J.A. |1976| A synthesis of several sorting algorithms. Res. Rep. N.23, Dpt. of A.I., Un. of Edinburgh.Google Scholar
  7. De Millo R.A., Lipton R.J. and Perlis A.J. |1979| Social processes and proofs of theorems and programs. Comm.s ACM, Vol 22–5, 271–280.Google Scholar
  8. Dijkstra E.W. |1972| Notes on structured programming in Structured Programming, Academic Press.Google Scholar
  9. Gerhart S.L. and Yelowitz L. |1976| Control Structure abstractions of the Backtracking Programming Technique. IEEE Trans. on Soft Eng.Google Scholar
  10. Manna Z. |1976| Mathematical Theory of Computation. MC Graw-Hill.Google Scholar
  11. Manna Z. and Waldinger R. |1979| Synthesis: dreams = programs. IEEE Trans. Soft. Eng., SE-5.Google Scholar
  12. Naur P. |1982| Formalization in program development. Bit, 22, 437–453.Google Scholar
  13. Petrone L. et alii |1982| DUAL: an interactive tool for developing documented programs by step-wise refinements. Proc. 6-th Int. Conf. Soft. Eng., Tokyo, 350–357.Google Scholar
  14. Petrone L. et alii |1983| Program development and documentation by step-wise transformations: an interactive tool. Proc. Int. Comp. Symp. Nürnberg.Google Scholar
  15. Scherlis W.L. and Scott D.S. |1983| First steps towards inferential programming. IFIP Congress, 199–212.Google Scholar
  16. Waters R.C. |1979| A Method for analyzing loop programs. IEEE Trans. Soft. Eng., 5.Google Scholar
  17. Wirth N. |1971| Program development by step-wise refinements. Comm. ACM, 14, 221–227.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Giovanna Petrone
    • 1
  • Luigi Petrone
    • 1
  1. 1.Dipartimento di InformaticaUniversità di TorinoItaly

Personalised recommendations