A Practical Method for Specification and Analysis of Exception Handling-A Java/JVM Case Study
IEEE Transactions on Software Engineering
Correctness of Java Card method lookup via logical relations
Theoretical Computer Science
A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions
Journal of Automated Reasoning
Correctness of Java Card Method Lookup via Logical Relations
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Proceedings of the 2005 ACM symposium on Applied computing
Provably Correct Code Generation: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Proofs you can believe in: proving equivalences between Prolog semantics in Coq
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Hi-index | 0.00 |