Search alternatives:
compilers » compiled
Cover Image
Read Now

1
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... for Proof-Carrying Code -- Parameterized Logic Programs where Computing Meets Learning -- Functional...”
Cover Image
Read Now

2
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”
Cover Image
Read Now

3
by Kuchen, Herbert
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: “...Programming Languages, Compilers, Interpreters...”