Loading...
Please wait, while we are loading the content...
Similar Documents
A logic for the Java Modeling Language JML (2001)
| Content Provider | CiteSeerX |
|---|---|
| Author | Jacobs, Bart Poll, Erik |
| File Format | |
| Language | English |
| Publisher | Springer |
| Publisher Date | 2001-01-01 |
| Publisher Institution | Fundamental Approaches to Software Engineering (FASE), volume 2029 of LNCS |
| Access Restriction | Open |
| Subject Keyword | Loop Project Modifiable Clause Tailor-made Proof Rule Special Compiler Interface Specification Language Design-by-contract Style Order Logic Possible Termination Mode Logical Theory Java Class Hoare Logic Nijmegen Jml Single Correctness Formula Java Modeling Language Total Correctness Java Modeling Language Jml Theorem Prover Specialised Logic Jml Specification Back-end Theorem Prover Jml Annotation Java Program |
| Content Type | Text |
| Resource Type | Article |