Keywords
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.
Preview
Unable to display preview. Download preview PDF.
References
O.-J. Dahl: “Can Program Proving be Made Practica?” In Les Foundements de la Programmation, M. Amirchahy and D. Néel, Ed., INRIA, 1977
O.-J. Dahl: “Object Oriented Specification.” In Research Directions in Object-Oriented Programming, B. Shriver and P. Wegner, Ed., MIT Press, 1987.
O.-J. Dahl: Verifiable Programming. To appear in The Hoare Series, Prentice Hall.
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.
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.
J.V. Guttag: “The Specification and Application to Programming of Abstract Data Types.” Ph. D. Thesis, Computer Science Department, University of Toronto, 1975.
J.V. Guttag, J.J. Horning, J.M. Wing: “Larch in Five Easy Pieces.” Digital Systems Research Center, Palo Alto, California, July 1985.
O. Lysne, O. Owe: “Error Recognition and Strictness in Guttag Definitions.” Research Report, Dept. of Informatics, University of Oslo, Norway, 1991.
O. Owe, O.-J. Dahl: “Generator Induction in Order Sorted Algebras.” Formal Aspects of Computing, 3:2–20, 1991
O. Owe: “Partial Logics Reconsidered: A Conservative Approach.” Research Report 155, Dept. of Informatics, University of Oslo, Norway, 1991.
D. Prawitz: Natural Deduction. Almquist & Wiksell, Stockholm, 1965.
N. Soundararajan: Personal communication.
Author information
Authors and Affiliations
Editor information
Rights 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