Skip to main content
SpringerLink
Log in

Formal Development with ABEL

  • Conference paper
  • First Online:
VDM '91 Formal Software Development Methods (VDM 1991)

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

Included in the following conference series:

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. O.-J. Dahl: “Can Program Proving be Made Practica?” In Les Foundements de la Programmation, M. Amirchahy and D. Néel, Ed., INRIA, 1977

    Google Scholar 

  2. O.-J. Dahl: “Object Oriented Specification.” In Research Directions in Object-Oriented Programming, B. Shriver and P. Wegner, Ed., MIT Press, 1987.

    Google Scholar 

  3. O.-J. Dahl: Verifiable Programming. To appear in The Hoare Series, Prentice Hall.

    Google Scholar 

  4. O.-J. Dahl, D.F. Langmyhr, O. Owe: “Preliminary Report on the Specification and Programming Language ABEL.” Research Report 106, Dept. of Informatics, University of Oslo, Norway, 1986.

    Google Scholar 

  5. K. Futasugi, J.A. Goguen, J.-P. Jouannaud, J. Meseguer: “Principles of OBJ2.” In Proceedings, 1985 Symposium on Principles of Programming Languages and Programming, Association for Computing Machinery, 1985, pp. 52–66. W. Brauer, Ed., Springer-Verlag, 1985. Lecture Notes in Computer Science, Volume 194.

    Google Scholar 

  6. J.V. Guttag: “The Specification and Application to Programming of Abstract Data Types.” Ph. D. Thesis, Computer Science Department, University of Toronto, 1975.

    Google Scholar 

  7. J.V. Guttag, J.J. Horning, J.M. Wing: “Larch in Five Easy Pieces.” Digital Systems Research Center, Palo Alto, California, July 1985.

    Google Scholar 

  8. O. Lysne, O. Owe: “Error Recognition and Strictness in Guttag Definitions.” Research Report, Dept. of Informatics, University of Oslo, Norway, 1991.

    Google Scholar 

  9. O. Owe, O.-J. Dahl: “Generator Induction in Order Sorted Algebras.” Formal Aspects of Computing, 3:2–20, 1991

    Article  Google Scholar 

  10. O. Owe: “Partial Logics Reconsidered: A Conservative Approach.” Research Report 155, Dept. of Informatics, University of Oslo, Norway, 1991.

    Google Scholar 

  11. D. Prawitz: Natural Deduction. Almquist & Wiksell, Stockholm, 1965.

    Google Scholar 

  12. N. Soundararajan: Personal communication.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, University of Oslo, Norway

    Ole-Johan Dahl & Olaf Owe

Authors
  1. Ole-Johan Dahl
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Olaf Owe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Søren Prehn Hans Toetenel

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dahl, OJ., Owe, O. (1991). Formal Development with ABEL. In: Prehn, S., Toetenel, H. (eds) VDM '91 Formal Software Development Methods. VDM 1991. Lecture Notes in Computer Science, vol 552. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019999

Download citation

  • DOI: https://doi.org/10.1007/BFb0019999

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54868-3

  • Online ISBN: 978-3-540-46456-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation