Specification and verification of object-oriented programs using supertype abstraction-Reference-Cited by-同舟云学术

Specification and verification of object-oriented programs using supertype abstraction

Published:1995-08 Issue:8 Volume:32 Page:705-778
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Leavens Gary T.,Weihl William E.

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01178658.pdf

Reference64 articles.

1. Lecture Notes in Computer Science;P. America,1987

2. America, P.: Designing an object-oriented programming language with behavioural subtyping. In: de Bakker, J. W., de Roever, W. P., Rozenberg, G. (eds) Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May/June 1990, volume 489 of Lecture Notes in Computer Science, pages 60–90. Springer, New York, N.Y., 1991

3. America, P., de Boer, F.: A sound and complete proof theory for SPOOL. Technical Report 505, Philips Research Laboratories, Nederlandse Philips Bedrijven B. V., 1990

4. Broy, M.: A theory for nondeterminism, parallelism, communication, and concurrency. Theoretical Computer Science 45(1):1–61, 1986

5. Bruce, K. B., Longo, G.: A modest model of records, inheritance, and bounded quantification. In Gurevich, Y. (ed.) Third Annual Symposium on Logic in Computer Science, pages 38–51. IEEE, 1988

Cited by 44 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection;Programming Languages and Systems;2023

2. Further Lessons from the JML Project;The Logic of Software. A Tasting Menu of Formal Methods;2022

3. Large-scale study of substitutability in the presence of effects;Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2018-10-26

4. An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping;Engineering Trustworthy Software Systems;2018

5. A Methodology for Invariants, Framing, and Subtyping in JML;Principled Software Development;2018