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

1
by Bjørner, Dines
Published 2006
Springer Berlin Heidelberg
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

2
by Bjørner, Dines
Published 2006
Springer Berlin Heidelberg
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

3
by Bjørner, Dines
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Charts -- Statecharts -- Quantitative Models of Time -- Interpreter and Compiler Definitions -- SAL...”
Cover Image
Read Now

4
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

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

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

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

8
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... for telecommunications software -- Support environments for VDM -- Development and application of a META IV compiler...”
Cover Image
Read Now

9
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... for compiler writing -- Complexity of probabilistic versus deterministic automata...”
Cover Image
Read Now

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