Preliminary design of JML
Top Cited Papers
- 1 May 2006
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 31 (3) , 1-38
- https://doi.org/10.1145/1127878.1127884
Abstract
No abstract availableThis publication has 35 references indexed in Scilit:
- JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics.The Journal of Object Technology, 2004
- Dynamically discovering likely program invariants to support program evolutionIEEE Transactions on Software Engineering, 2001
- Safely creating correct subclasses without seeing superclass codeACM SIGPLAN Notices, 2000
- Reasoning about Java classesACM SIGPLAN Notices, 1998
- Data groupsACM SIGPLAN Notices, 1998
- On the frame problem in procedure specificationsIEEE Transactions on Software Engineering, 1995
- A practical approach to programming with assertionsIEEE Transactions on Software Engineering, 1995
- Part I: the RESOLVE framework and disciplineACM SIGSOFT Software Engineering Notes, 1994
- Interface language for supporting programming stylesACM SIGPLAN Notices, 1994
- Writing Larch interface language specificationsACM Transactions on Programming Languages and Systems, 1987