Search alternatives:
compilers » compiled
Cover Image
Read Now

1
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...Compiling Java to a typed lambda-calculus: A preliminary report -- Stack-based Typed Assembly...”
Cover Image
Read Now

2
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... Is Typable and Poly-step -- Cut Elimination for Classical Proofs as Continuation Passing Style Computation...”
Cover Image
Read Now

4
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Executing Verified Compiler Specification -- Controlling and Optimizing the Usage of One Resource...”