Generierung lokaler Optimierungen - IPD Snelting

Literaturverzeichnis Literaturverzeichnis
[10] Gough, Brian J. ; Stallman, Richard M.: An Introduction to GCC. Network
Theory Ltd., 2004. – ISBN 0954161793
[11] Joshi, Rajeev ; Nelson, Greg ; Randall, Keith: Denali: a goal-directed superoptimizer.
In: Proceedings of the ACM SIGPLAN 2002 Conference on Programming
language design and implementation. New York, NY, USA : ACM, 2002 (PLDI ’02).
– ISBN 1–58113–463–0, 304–314
[12] Levin, Leonid: Universal sorting problems. In: Problems of Information Transmission
(1973), Nr. 9, S. 265–266
[13] Lindenmaier, Götz: libFIRM – a Library for Compiler Optimization Research
Implementing FIRM. Version: Sep 2002. http://www.info.uni-karlsruhe.de/
papers/Lind_02-firm_tutorial.ps. Universität Karlsruhe, Fakultät für Informatik,
Sep 2002 (2002-5). – Forschungsbericht. – 75 S.
[14] Massalin, Henry: Superoptimizer: a look at the smallest program. In: Proceedings
of the second international conference on Architectual support for programming languages
and operating systems. Los Alamitos, CA, USA : IEEE Computer Society
Press, 1987 (ASPLOS-II). – ISBN 0–8186–0805–6, 122–126
[15] Muchnick, Steven S.: Advanced compiler design and implementation. San Francisco,
CA, USA : Morgan Kaufmann Publishers Inc., 1997. – ISBN 1–55860–320–4
[16] Trapp, Martin ; Lindenmaier, Götz ; Boesler, Boris: Documentation of the
intermediate representation FIRM. Universität Karlsruhe, Fakultät für Informatik,
1999 ( 1999-14). – 0–40 S. http://www.info.uni-karlsruhe.de/papers/
firmdoc.ps.gz
80