Search alternatives:
"compiler" » "compilers", "compiled"
Cover Image
Read Now

1
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... proof compiler for first order logic -- Traverdi — Transformation and verification of distributed...”
Cover Image
Read Now

2
Published 2005
Springer Berlin Heidelberg
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

3
by Broy, Manfred
Published 1992
Springer Berlin Heidelberg
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

5
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Programming Issues -- The Verifying Compiler: A Grand Challenge for Computing Research -- Linear...”
Cover Image
Read Now

6
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Formal Verification of a Compiler Back-End Generic Checker Program -- Construction of Verified...”
Cover Image
Read Now

7
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Systems -- Language Implementation -- Exploring Template Template Parameters -- Compiler-Cooperative...”
Cover Image
Read Now

8
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... to reverse engineering using formal methods -- Algebraically provable specification of optimized compilations...”
Cover Image
Read Now

9
Published 1991
Springer Berlin Heidelberg
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

10
by Bjørner, Dines
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: “...Programming Languages, Compilers, Interpreters...”
Cover Image
Read Now

11
by Broy, Manfred
Published 2003
Springer Berlin Heidelberg
Subjects: “...Programming Languages, Compilers, Interpreters...”
Cover Image
Read Now

12
by Bjøner, Dines
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects: “...Programming Languages, Compilers, Interpreters...”
Cover Image
Read Now

13
Published 2002
Springer Berlin Heidelberg
Subjects: “...Programming Languages, Compilers, Interpreters...”
Cover Image
Read Now

14
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... of Compilation -- 4 Distributed Svstems -- Process Algebra with Signals and Conditions -- Functional...”
Cover Image
Read Now

15
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... termination of off-line partial evaluation -- Polyvariant expansion and compiler generators -- The disjunctive...”