16 search results - page 1 / 4 » cade 2002 |
CADE
2002
Springer
16 years 14 days ago
2002
Springer
77
Voted
CADE
2002
Springer
16 years 14 days ago
2002
Springer
87
Voted
CADE
2002
Springer
16 years 14 days ago
2002
Springer
84
Voted
CADE
2002
Springer
16 years 14 days ago
2002
Springer
102
Voted
CADE
2002
Springer
16 years 14 days ago
2002
Springer
This paper reports on the formal proof of correctness of a compiler from a substantial subset of Java source language to Java bytecode in the proof environment Isabelle. This work ...