Issues in compiling

Journal of Universal Computer Science

Volumn 7, Issue 5, 2001, Pages 410-419

  Goos, Gerhard ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

Compilers; Program synthesis; Program transformation; Reusable software; Software program verification

Indexed keywords

EID: 18944378430     PISSN: 0958695X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (31)

1. [BK89] M. Blum and S. Kannan, Program correctness checking . . . and the design of programs that check their work, Proceedings 21st Symposium on Theory of Computing, 1989.
2. [BK95] Manuel Blum and Sampath Kannan, Designing programs that check their work, Journal of the Association for Computing Machinery 42 (1995), no. 1, 269-291.
3. [Bor00] Borland/Inprise, Official borland/inprise delphi-5 compiler bug list, http://www.borland.com/devsupport/delphi/fixes/delphi5/compiler.html, jan 2000, Delphi5 Compiler Bug List.
4. [CC95] Cliff Click and Keith D. Cooper, Combining analyses, combining optimizations, TOPLAS 17 (1995), no. 2, 181-196.
5. +89] R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck, An efficient method of computing static single assignment form, Symp. on Principles of Programming Languages, ACM, 1989, pp. 25-35.
6. +91] R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadek, Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems 13 (1991), no. 4, 451-490.
7. [DS88] K.-H. Drechsler and M. P. Stadel, A solution to a problem with morel's and renvoise's "global optimization by suppression of partial redundancies", ACM Transactions on Programming Languages and Systems 10 (1988), no. 4, 635-640.
8. [DS93] K.-H. Drechsler and M. P. Stadel, A variation of knoop, ruthing and steffen's lazy code motion, SIGPLAN Notices 28 (1993), no. 5, 29-38.
9. [Emm94] Helmut Emmelmann, Codeselektion mit regulär gesteuerter termersetzung, Ph.D. thesis, Universität Karlsruhe, Fakultat fur Informatik, GMD-Bericht 241, Oldenbourg-Verlag, 1994.
10. [ESL89] H. Emmelmann, F.-W. Schröer, and R. Landwehr, Beg - a generator for efficient back ends, Proceedings of the Sigplan '89 Conference on Programming Language Design and Implementation, June 1989.
11. [Exc99] Excelsior, The jet compiler, http://www.excelsior-usa.com/jet.html, 1999.
12. [GGZ98] W. Goerigk, T.S. Caul, and W. Zimmermann, Correct Programs without Proof? On Checker-Based Program, Verification, Proceedings ATOOLS'98 Workshop on "Tool Support for System Specification, Development, and Verification" (Malente), Advances in Computing Science, Springer Verlag, 1998.
13. [GHJV94] Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides, Design patterns: Elements of reusable software components, Addison-Wesley, 1994.
14. [GZ99] Gerhard Goos and Wolf Zimmermann, Verification of compilers, Correct System Design (Bernhard Steffen and Ernst Rüdiger Olderog, eds.), LNCS, vol. 1710, Springer-Verlag, 1999, pp. 201-230.
15. [GZ00] Gerhard Goos and Wolf Zimmermann, Verifying compilers and asms, Abstract State Machines, Theory and Applications (Yuri Gurevich, Philipp W. Kutter, Martin Odersky, and Lothar Thiele, eds.), LNCS, vol. 1912, Springer-Verlag, 2000, pp. 177-202.
16. [Ins98] Instantiations, Super optimizing deployment environment for Java, http://www.instantiations.com/jove/, 1998.
17. +99] Robert Kennedy, Sun Chan, Shin-Ming Liu, Raymond Lo, Peng Tu, and Fred Chow, Partial redundancy elimination in ssa form, TOPLAS 21 (1999), no. 3, 627-676.
18. [KRS94] Jens Knoop, Oliver Rüthing, and Bernhard Steffen, Optimal code motion: Theory and practice, ACM Transactions on Programming Languages and Systems 16 (1994), no. 4, 1117-1155.
19. [MG95] Peter Marwedel and Goosens (eds.), Code generation for embedded processors, Kluwer Academic Publishers, 1995.
20. [Mor98] Robert Morgan, Building an optimizing compiler, Butterworth-Heinemann, 1998.
21. [MR79] E. Morel and C. Renvoise, Global optimization by suppression of partial redundancies, Comm. ACM 22 (1979), 129-153.
22. [Muc97] Steven S. Muchnik, Advanced compiler design and implementation, Morgan Kaufmann Publishers, 1997.
23. [PLG88] E. Pelegri-Llopart and Susan Graham, Optimal code generation for expression trees: An application of burs theory, 15th Symposium on Principles of Programming Languages (New York), ACM, 1988, pp. 294-308.
24. [PQ95] Terence J. Parr and Russell W. Quong, ANTLR: A predicated-LL (k) parser generator, Software -Practice and Experience 25 (1995), no. 7, 789-810.
25. [Pro95] Todd A. Proebsting, Burs automala generation, ACM Transactions on Programming Languages and Systems 17 (1995), no. 3, 461-486.
26. [PSS98] A. Pnueli, O. Shtrichman, and M. Siegel, Translation validation for synchronous languages, Lecture Notes in Computer Science 1443 (1998), 235-??
27. [Soh0l] Gurindar S. Sohi, Microprocessors - 10 Years Back, 10 Years Ahead, Informatics, 10 Years Back, 10 Years Ahead (Reinhard Wilhelm, ed.), Lecture Notes in Computer Science, vol. 2000, Springer-Verlag, 2001, pp. 209-218.
28. [Ste00] Reinier Sterkenburg, Borland pascal compiler bug list, http://www.dataweb.nl/ r.p.sterkenburg/bugsall.htm, feb 2000.
29. [Sun00] Sun Microsystems, Sun official Java compiler bug database, http://java.sun.com/products/jdk/1.2/bugs.html, mar 2000.
30. [Tra99] Martin Trapp, Optimierung objektorientierter programme, Ph.D. thesis, Fakultät für Informatik, Universität Karlsruhe, 1999.
31. [WG84] William M. Waite and Gerhard Goos, Compiler construction, Springer-Verlag, 1984.