|
Journals in DBLP
- Jens Knoop, George C. Necula, Wolf Zimmermann
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:1-2 [Journal]
- Lennart Beringer
Functional Elimination of Phi-instructions. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:3-20 [Journal]
- Yi Fang, Lenore D. Zuck
Improved Invariant Generation for Tvoc. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:21-35 [Journal]
- David Aspinall, Lennart Beringer, Alberto Momigliano
Optimisation Validation. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:37-59 [Journal]
- Sabine Glesner, Johannes Leitner, Jan Olaf Blech
Coinductive Verification of Program Optimizations Using Similarity Relations. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:61-77 [Journal]
- Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
Structuring Optimizing Transformations and Proving Them Sound. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:79-95 [Journal]
- Wolfram Amme, Marc-André Möller, Philipp Adler
Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:97-108 [Journal]
- Eric Van Wyk, Lijesh Krishnan
Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:109-122 [Journal]
|