A Programming Logic for Sequential Java
- 1 January 1999
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 162-176
- https://doi.org/10.1007/3-540-49099-x_11
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- An Overview of Larch/C++: Behavioral Specifications for C++ ModulesPublished by Springer Science and Business Media LLC ,2007
- Reasoning about Java classesPublished by Association for Computing Machinery (ACM) ,1998
- Programming Concepts and Methods PROCOMET ’98Published by Springer Science and Business Media LLC ,1998
- Informatik ’97 Informatik als InnovationsmotorPublished by Springer Science and Business Media LLC ,1997
- A logic of object-oriented programsPublished by Springer Science and Business Media LLC ,1997
- Mechanizing Programming Logics in Higher Order LogicPublished by Springer Science and Business Media LLC ,1989
- Centaur: the systemACM SIGPLAN Notices, 1988