Generierung lokaler Optimierungen - IPD Snelting

Literaturverzeichnis
[1] Aho, Alfred V. ; Lam, Monica S. ; Sethi, Ravi ; Ullman, Jeffrey D.: Compilers:
Principles, Techniques, and Tools (2nd Edition). 2. Prentice Hall, 2006. – ISBN
0321486811
[2] Bagwell, John T. Jr.: Local optimizations. In: Proceedings of a symposium on
Compiler optimization. New York, NY, USA : ACM, 1970, 52–66
[3] Bansal, Sorav ; Aiken, Alex: Automatic generation of peephole superoptimizers.
In: Proceedings of the 12th international conference on Architectural support for
programming languages and operating systems. New York, NY, USA : ACM, 2006
(ASPLOS-XII). – ISBN 1–59593–451–0, 394–403
[4] Barrett, Clark ; Stump, Aaron ; Tinelli, Cesare: The SMT-LIB standard:
Version 2.0. In: SMT Workshop, 2010
[5] Biere, A. ; Biere, A. ; Heule, M. ; Maaren, H. van ; Walsh, T.: Handbook
of Satisfiability: Frontiers in Artificial Intelligence and Applications. Amsterdam,
The Netherlands, The Netherlands : IOS Press, 2009. – ISBN 1586039296, 978–
1586039295
[6] Clang: Clang: a C language family frontend for LLVM. http://clang.llvm.org.
Version: Juli 2012
[7] Cook, Stephen A.: The complexity of theorem-proving procedures. In: Proceedings
of the third annual ACM symposium on Theory of computing. New York, NY, USA
: ACM, 1971 (STOC ’71), 151–158
[8] De Moura, Leonardo ; Bjørner, Nikolaj: Z3: an efficient SMT solver. In: Proceedings
of the Theory and practice of software, 14th international conference on
Tools and algorithms for the construction and analysis of systems. Berlin, Heidelberg
: Springer-Verlag, 2008 (TACAS’08/ETAPS’08). – ISBN 3–540–78799–2,
978–3–540–78799–0, 337–340
[9] De Moura, Leonardo ; Bjørner, Nikolaj: Satisfiability modulo theories: introduction
and applications. In: Commun. ACM 54 (2011), September, 69–77. http:
//dx.doi.org/10.1145/1995376.1995394. – DOI 10.1145/1995376.1995394. –
ISSN 0001–0782
79