Skip to main content
SpringerLink
Log in

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

  • Justification Des Programmes Program Correctness
  • Conference paper
  • First Online:
Programming Symposium

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 19))

  • 2078 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. B.W. BOEHM, Software and its impact: a quantitative assessment, Datamation, May 1973, 48–49

    Google Scholar 

  2. A. COLMERAUER and al., Un système de communication homme — machine en français, Rapport préliminaire, Octobre 1972

    Google Scholar 

  3. J.A. DERKSEN, J.F. RULIFSON, R.J. WALDINGER, QA4: a procedural calculus for intuitive reasoning, SRI, Technical note 73, November 1972

    Google Scholar 

  4. L.P. DEUTSCH, An interactive program verifier, PhD Thesis, University of California, June 1973

    Google Scholar 

  5. E.W. DIJKSTRA, Notes on structured programming, TH Report 70 WSK 03, Technological University of Eindhoven, April 1970

    Google Scholar 

  6. B. ELSPAS, N.W. GREEN, K.N. LEWITT, R.J. WALDINGER, Research in interactive program proving techniques, SRI, May 1972

    Google Scholar 

  7. R.W. FLOYD, Assigning meanings to programs, Proceedings Symposium in Applied Mathematics, vol 19, Americal Mathematical Society, 1967, 19–32

    Google Scholar 

  8. R.W. FLOYD, Toward interactive design of computer programs, Proceedings of IFIP Congress 1971, August 1971

    Google Scholar 

  9. C. HEWITT, Planner: a language for proving theorems and manipulating models in a robot, PhD Thesis, MIT, January 1971

    Google Scholar 

  10. C.A.R. HOARE, Proof of a program: FIND, Communication of ACM, vol 14, no 1, January 1971, 39–45

    Google Scholar 

  11. S.M. KATZ, Z. MANNA, A heuristic approach to program verification, Proceedings of third international Joint Conference on Artificial Intelligence, Stanford, August 1973

    Google Scholar 

  12. J. KING, A program verifier, Doctoral dissertation, Carnegie-Mellon University, 1969

    Google Scholar 

  13. W.A. MARTIN, Determining the equivalence of algebraic expressions by hash coding, Journal of ACM, vol 18, no 4, October 1971

    Google Scholar 

  14. B. WEGBREIT, Heuristic methods for mechanically deriving inductive assertions, Proceedings of third International Joint Conference on Artificial Intelligence, Stanford, August 1973

    Google Scholar 

  15. N. WIRTH, Program development by stepwise refinement, Communication of ACM, vol 14, no 4, April 1971, 221–227

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Université de Grenoble, France

    B. Amy & F. Ouabdesselam

Authors
  1. B. Amy
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. Ouabdesselam
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

B. Robinet

Rights and permissions

Reprints and permissions

Copyright information

© 1974 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Amy, B., Ouabdesselam, F. (1974). S. V. P. Un system interactif pour la validation et la preparation de programmes. In: Robinet, B. (eds) Programming Symposium. Lecture Notes in Computer Science, vol 19. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-06859-7_123

Download citation

  • DOI: https://doi.org/10.1007/3-540-06859-7_123

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-06859-4

  • Online ISBN: 978-3-540-37819-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation