Invited Talk: Embedding Programming Languages in Theorem Provers (Abstract)

Authors:
Tobias Nipkow
Affiliations:
-
Venue:
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Year:
1999

Citing 3
Cited 0

Javalight is type-safe—definitely

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Machine-Checking the Java Specification: Proving Type-Safety

Formal Syntax and Semantics of Java
Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL

TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract