Paper Info
Title
Formalizing a JVML Verifier for Initialization in a Theorem Prover
Year
DOI
Venue
2001
10.1007/3-540-44585-4_3
CAV
Keywords
Field
DocType
jvml verifier,theorem prover,type system
Programming language,Computer science,Automated theorem proving,Algorithm,Theoretical computer science,Data type,Initialization,Rule of inference,Java,Semantics
Conference
Volume
ISSN
ISBN
2102
0302-9743
3-540-42345-1
Citations 
PageRank 
References 
15
1.65
13
Authors
1
Name
Order
Citations
PageRank
Yves Bertot144240.82