A Methodology for Invariants, Framing, and Subtyping in JML-Reference-Cited by-同舟云学术

A Methodology for Invariants, Framing, and Subtyping in JML

Published:2018 Issue: Volume: Page:19-39
ISSN:
Container-title:Principled Software Development
language:
Short-container-title:

Author:

Bao Yuyan,Leavens Gary T.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-98047-8_2

Reference32 articles.

1. Pierre America. A Behavioural Approach to Subtyping in Object-Oriented Programming Languages. Tech. rep. 443. Revised from the January 1989 version. Nederlandse Philips Bedrijven B. V.: Philips Research Laboratories, Apr. 1989.

2. Anindya Banerjee, David A. Naumann, and Stan Rosenberg. “Local Reasoning for Global Invariants, Part I: Region Logic”. In: Journal of the ACM 60.3 (June 2013), 18:1–18:56. ISSN: 0004-5411. https://doi.org/10.1145/2485982 . URL: http://doi.acm.org/10.1145/2485982 .

3. Yuyan Bao. “Reasoning About Frame Properties in Object-Oriented Programs”. PhD thesis. University of Central Florida, 2017. URL: http://www.cs.ucf.edu/~ybao/tech-reports/TR_dissertation.pdf .

4. Yuyan Bao, Gary T. Leavens, and Gidon Ernst. “Conditional Effects in Fine-grained Region Logic”. In: Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs. FTfJP ’15. Prague, Czech Republic: ACM, 2015, 5:1–5:6. ISBN: 978-1-4503-3656-7. https://doi.org/10.1145/2786536.2786537 . URL: http://doi.acm.org/10.1145/2786536.2786537 .

5. Yuyan Bao, Gary T. Leavens, and Gidon Ernst. “Unifying Separation Logic and Region Logic to Allow Interoperability”. In: Formal Aspects of Computing 30.3 (Aug. 2018), pp. 381–441.

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

1. The Concept of Class Invariant in Object-oriented Programming;Formal Aspects of Computing;2024-03-20

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