Certifying Compilation for a Language with Stack Allocation

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) ◽

10.1109/lics.2005.9 ◽

2006 ◽

Cited By ~ 1

Author(s):

Limin Jia ◽

F. Spalding ◽

D. Walker ◽

N. Glew

Keyword(s):

Certifying Compilation

Download Full-text

Investigating Type-Certifying Compilation with Isabelle

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-36078-6_27 ◽

2002 ◽

pp. 403-417 ◽

Cited By ~ 1

Author(s):

Martin Strecker

Keyword(s):

Certifying Compilation

Download Full-text

Verified bytecode verification and type-certifying compilation

The Journal of Logic and Algebraic Programming ◽

10.1016/j.jlap.2003.07.004 ◽

2004 ◽

Vol 58 (1-2) ◽

pp. 27-60 ◽

Cited By ~ 4

Author(s):

Gerwin Klein ◽

Martin Strecker

Keyword(s):

Bytecode Verification ◽

Certifying Compilation

Download Full-text

A Tag Type for Certifying Compilation of Java Program

Journal of Software ◽

10.1360/jos160346 ◽

2005 ◽

Vol 16 (3) ◽

pp. 346

Author(s):

Hui CHEN

Keyword(s):

Java Program ◽

Certifying Compilation

Download Full-text