An approach to verifiable compiling specification and prototyping

Programming Language Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0024175 ◽

2005 ◽

pp. 45-59 ◽

Cited By ~ 8

Author(s):

Jonathan Bowen ◽

He Jifeng ◽

Paritosh Pandya