S. V. P. Un system interactif pour la validation et la preparation de programmes

  • B. Amy
  • F. Ouabdesselam
Justification Des Programmes Program Correctness
Part of the Lecture Notes in Computer Science book series (LNCS, volume 19)


Nous Avons Hash Code Nous Pensons Nous Donnons Obtient Ainsi 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    B.W. BOEHM, Software and its impact: a quantitative assessment, Datamation, May 1973, 48–49Google Scholar
  2. [2]
    A. COLMERAUER and al., Un système de communication homme — machine en français, Rapport préliminaire, Octobre 1972Google Scholar
  3. [3]
    J.A. DERKSEN, J.F. RULIFSON, R.J. WALDINGER, QA4: a procedural calculus for intuitive reasoning, SRI, Technical note 73, November 1972Google Scholar
  4. [4]
    L.P. DEUTSCH, An interactive program verifier, PhD Thesis, University of California, June 1973Google Scholar
  5. [5]
    E.W. DIJKSTRA, Notes on structured programming, TH Report 70 WSK 03, Technological University of Eindhoven, April 1970Google Scholar
  6. [6]
    B. ELSPAS, N.W. GREEN, K.N. LEWITT, R.J. WALDINGER, Research in interactive program proving techniques, SRI, May 1972Google Scholar
  7. [7]
    R.W. FLOYD, Assigning meanings to programs, Proceedings Symposium in Applied Mathematics, vol 19, Americal Mathematical Society, 1967, 19–32Google Scholar
  8. [8]
    R.W. FLOYD, Toward interactive design of computer programs, Proceedings of IFIP Congress 1971, August 1971Google Scholar
  9. [9]
    C. HEWITT, Planner: a language for proving theorems and manipulating models in a robot, PhD Thesis, MIT, January 1971Google Scholar
  10. [10]
    C.A.R. HOARE, Proof of a program: FIND, Communication of ACM, vol 14, no 1, January 1971, 39–45Google Scholar
  11. [11]
    S.M. KATZ, Z. MANNA, A heuristic approach to program verification, Proceedings of third international Joint Conference on Artificial Intelligence, Stanford, August 1973Google Scholar
  12. [12]
    J. KING, A program verifier, Doctoral dissertation, Carnegie-Mellon University, 1969Google Scholar
  13. [13]
    W.A. MARTIN, Determining the equivalence of algebraic expressions by hash coding, Journal of ACM, vol 18, no 4, October 1971Google Scholar
  14. [14]
    B. WEGBREIT, Heuristic methods for mechanically deriving inductive assertions, Proceedings of third International Joint Conference on Artificial Intelligence, Stanford, August 1973Google Scholar
  15. [15]
    N. WIRTH, Program development by stepwise refinement, Communication of ACM, vol 14, no 4, April 1971, 221–227Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • B. Amy
    • 1
  • F. Ouabdesselam
    • 1
  1. 1.Université de GrenobleFrance

Personalised recommendations