Handbook of theoretical computer science (vol. B)
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Reasoning about Java classes: preliminary report
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Java Virtual Machine Specification
Java Virtual Machine Specification
The Java Language Specification
The Java Language Specification
Java Program Verification via a Hoare Logic with Abrupt Termination
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A Programming Logic for Sequential Java
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Formal Techniques for Java Programs
Proceedings of the Workshop on Object-Oriented Technology
Formal Techniques for Java Programs
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
Formal Techniques for Java-like Programs
ECOOP '02 Proceedings of the Workshops and Posters on Object-Oriented Technology
A Dynamic Logic for the Formal Verification of Java Card Programs
JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security
Lightweight Bytecode Verification
Journal of Automated Reasoning
| Hi-index | 0.00 |
This report gives an overview of the second ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations and discussions.