%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % VERIFIX-Publikationen, inkl. technische und interne Berichte % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % Schluesselaenderungen: % % ASM-IS-language:98 -> Verifix98:IS % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @Misc{ Goos+94, author = {Gerhard Goos and Hans Langmaack and {F.W. von} Henke and Wolfgang Goerigk and Wolf Zimmermann}, title = {{Verifizierte \"U}bersetzer ({{\em {Verifix}\/}})}, year = {1994}, address = {Karlsruhe, Kiel, Ulm}, howpublished = {DFG-Projektantrag. Karlsruhe, Kiel, Ulm}, verifixkey = {ALL-Pub}, file = {} } % Papers and Journal Articles: % % Kiel % @STRING{ CAUIfIuPM = {Institut f\"ur Informatik, CAU}} @InCollection{Hoffmann97, author = "Ulrich Hoffmann", booktitle = "Arbeitstagung Programmiersprachen", editor = "Herbert Kuchen", publisher = {Westf\"alische Wilhelms-Universit\"at M\"unster}, title = {{Korrekte Implementierung von \"Uber\-set\-zungs\-spezi\-fi\-ka\-tio\-nen in hoher Programmiersprache}}, year = 1997, series = {Arbeitsbericht des Institutes f\"ur Wirtschaftsinformatik}, volume = 58, pages = "13--20", scope = "trans", verifixkey = {CAU-Pub}, file = {Hoffmann97} } @Inproceedings{Hoffmann97b, Author = {U.\ Hoffmann}, Title = {{Correct Implementation of Compiler Programs}}, BookTitle = {Workshop on Programming Languages and Fundamentals of Programming, Avendorf September 1997}, editor = {Rudolf Berghammer and Friedemann Simon}, series = {Technical Report 9717}, year = 1997, publisher = CAUIFIUPM, address = {Kiel}, month = nov, pages = {127--138}, verifixkey = {CAU-Pub}, file = {Hoffmann97-Avendorf} } @Inproceedings{Goerigk97d, Author = {Wolfgang Goerigk}, Title = {{Towards Rigorous Compiler Implementation Verification}}, BookTitle = {Proc. of the 1997 Workshop on Programming Languages and Fundamentals of Programming}, Address = {Avendorf, Germany}, Month = nov, Year = 1997, verifixkey = {CAU-Pub}, file = {Goerigk97-Avendorf} } @inproceedings{Goerigk00b, author = {W. Goerigk}, title = {{Proving Preservation of Partial Correctness with ACL2: A Mechanical Compiler Source Level Correctness Proof}}, booktitle = {Proc. of the ACL2'2000 Workshop}, year = 2000, month = oct, address = {Austin, Texas, U.S.A.} } @Inproceedings{Goerigk/Simon98, Author = {Goerigk, Wolfgang and Simon, Friedemann}, Title = {{Towards Rigorous Compiler Implementation Verification}}, BookTitle = {Proceedings of the VIM Spring and Winter Workshops}, Editor = {Julian Padget}, Year = 1998, Publisher = {Springer Verlag}, Address = {Berlin, Heidelberg, New York}, Series = {Lecture Notes in Computer Science}, Note = {To appear}, verifixkey = {CAU-Pub}, file = {Goerigk_Simon98} } @InProceedings{Goerigk/Hoffmann98, Author = {Goerigk, Wolfgang and Hoffmann, Ulrich}, Title = {{Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct}}, Year = {1998}, Address = {Boppard}, Series = {Lecture Notes in Computer Science}, BookTitle = {Proceedings FM-TRENDS'98 International Workshop on Current Trends in Applied Formal Methods}, Note = {To appear}, verifixkey = {CAU-Pub}, file = {Boppard} } @Article{Langmaack96a, Author = {Langmaack, H.}, Title = {{The ProCoS Approach to Correct Systems}}, Journal = {Real Time Systems}, Volume = {13}, Pages = {253-275}, Publisher = {Kluwer Academic Publishers}, Year = 1997, verifixkey = {CAU-Pub}, file = {} } @Article{Langmaack97a, Author = {Langmaack, Hans}, Title = {{Softwareengineering zur Zertifizierung von Systemen: Spezifikations-, Implementierungs-, \"Ubersetzerkorrektheit}}, Journal = {Informationstechnik und Technische Informatik it-ti}, Pages = {41-47}, Number = 3, Volume = 97, Publisher = {Oldenbourg Verlag}, Year = 1997, verifixkey = {CAU-Pub}, file = {zertifiz} } @Article{Langmaack97b, Author = {Langmaack, Hans}, Title = {{Theoretische Informatik ist Grundlage f\"ur das sichere Beherrschen realistischer Software und Systeme}}, Editor = {K. Brunnstein and H. Oberquelle}, Journal = {25 Jahre Informatik an der Universit\"at Hamburg. Informatik: Stand, Trends, Visionen}, HowPublished = {Bericht SBI-HH-B-195/95, Universit\"at Hamburg}, Pages = {47-62}, Year = 1997, verifixkey = {CAU-Pub}, file = {Langmaack97b} } @Article{Langmaack97c, Author = {Langmaack, H.}, Title = {{Contribution to Goodenough's and Gerhart's Theory of Software Testing and Verification: Relation between Strong Compiler Test and Compiler Implementation Verification}}, Journal = {Foundations of Computer Science: Potential-Theory-Cognition. LNCS}, Editor = {C. Freksa and M. Jantzen and R. Valk}, Publisher = {Springer Verlag}, Volume = {1337}, Pages = {321-335}, Address = {Berlin, Heidelberg, New York}, Year = 1997, verifixkey = {CAU-Pub}, file = {hl-gerh-goodenough} } @InProceedings{Goerigk99a, Author = {Goerigk, Wolfgang}, Title = {{On Trojan Horses in Compiler Implementations}}, Editor = {F. Saglietti and W. Goerigk}, Booktitle = {Proc. des Workshops {\em Sicherheit und Zuverl\"assigkeit softwarebasierter Systeme}}, Series = {ISTec-Berichte}, Note = {To appear}, Year = {1999}, Address = {Garching} } % % Karlsruhe % %% ehemals Goerigk+96 %% @InProceedings{Goerigk-et-al:CC96, Author = {W. Goerigk and A. Dold and T. Gaul and G. Goos and A. Heberle and F. von Henke and U. Hoffmann and H. Langmaack and H. Pfeifer and H. Ruess and W. Zimmermann}, Title = "{C}ompiler {C}orrectness and {I}mplementation {V}erification: {T}he {V}erifix {A}pproach", BookTitle = {Proceedings of the Poster Session of CC'96 - International Conference on Compiler Construction }, Editor = {P. Fritzson}, Publisher = {ida}, Year = {1996}, Note = {TR-Nr.: R-96-12}, Pages = {65 -- 73}, verifixkey = {ALL-Pub}, file = {CC96} } @Article{Zimmer-Gaul:97, author = {W. Zimmermann and T. Gaul}, title = "{On the Construction of Correct Compiler Back-Ends: An ASM Approach}", journal = "{J}ournal of {U}niversal {C}omputer {S}cience", Year = {1997}, Volume = {3}, Number = {5}, Pages = {504-567}, verifixkey = {UKA-Pub}, file = {JUCS97} } @InProceedings{GGGHZ:97, author = {T. Gaul and G. Goos and A. Heberle and W. Zimmermann and W. Goerigk}, title = "{An Architecture for Verified Compiler Construction}", BookTitle = "{P}roceedings of {J}oint {M}odular {L}anguages {C}onference 1997, {P}oster {S}ession", Year = 1997, verifixkey = {UKA-Pub}, file = {JMLC97} } @InProceedings{DGZ98, author = {A. Dold and T. Gaul and W. Zimmermann}, title = {Mechanized Verification of Compiler Back-Ends}, booktitle = {Proceedings of the International Workshop on Software Tools for Technology Transfer STTT '98}, editor = {B. Steffen and T. Margaria}, year = 1998, date = {12.7.1998}, pages = {13--24}, address = {Aalborg, Denmark}, verifixkey = {UKA-Pub}, file = {STTT98} } @InProceedings{GZGHH98, author = {W. Goerigk and W. Zimmermann and T. Gaul and A. Heberle and U. Hoffmann}, title = {Praktikable Konstruktion korrekter {\"U}bersetzer}, booktitle = {Softwaretechnik '98}, year = 1998, volume = 18, series = {{Softwaretechnik-Trends}}, publisher = {GI}, pages = {26--33}, verifixkey = {UKA-Pub}, file = {ST98_KorrUEbersetzer} } @InProceedings{Goerigk98a, Author = {Goerigk, W. and Gaul, T.S. and Zimmermann, W.}, Title = {{Correct Programs without Proof? On Checker-Based Program Verification}}, Year = {1998}, Booktitle = {Proceedings ATOOLS'98 Workshop on ``Tool Support for System Specification, Development, and Verification''}, Series = {Advances in Computing Science}, Publisher = {Springer Verlag}, address = {Wien, New York}, pages = {108 - 122}, verifixkey = {CAU-Pub}, file = {ATOOLS98} } @InProceedings{DGVZ:98, author = "A. Dold and T. Gaul and V. Vialard and W. Zimmermann", title = "{ASM-Based Mechanized Verification of Compiler Backends}", editor = "Uwe Gl{\"a}sser and Peter H. Schmitt", pages = "50-67", booktitle = "{Proceedings of the 5th International Workshop on Abstract State Machines}", year = "1998", verifixkey = {UKA-Pub}, file = {ASM-WS98-DGVZ} } @InProceedings{HeberleLoeweTrapp:98, author = "Andreas Heberle and Welf L{\"o}we and Martin Trapp", title = "{Safe Reuse of Source to Intermediate Language Compilations}", editor = "Ram Chillarege", booktitle = "{Proceedings of the Ninth International Symposium on Software Reliability Engineering, Fast Abstracts and Industrial Tracks}", year = "1998", url = "http://www.chillarege.com/issre/fastabstracts/98417.html", verifixkey = {UKA-Pub}, file = {issre98} } @InProceedings{HeberleLoewe:98, author = "Andreas Heberle and Welf L{\"o}we", title = "{On ASM-Based Specification of Programming Language Semantics and Reusable Correct Compilations}", editor = "Uwe Gl{\"a}sser and Peter H. Schmitt", pages = "68--90", booktitle = "{Proceedings of the 5th International Workshop on Abstract State Machines}", year = "1998", verifixkey = {UKA-Pub}, file = {ASM-WS98-HL} } @Inproceedings{Gaul/Schumacher98, Author = {Gaul, T. and Schumacher, G.}, Title = {Compiler Techniques for Fast Migration of Embedded Applications}, BookTitle = {Proceedings of the EMMSEC'98 Conference}, Pages = {835-842}, Address = {Bordeaux, France}, Year = "1998", Publisher = {{IOS} Press}, Editor = {Roger, J.-Y. and Stanford-Smith, B. and Kidd, P.T.}, verifixkey = {UKA-Pub}, file = {emmsec98} } @inproceedings{glesner/zimmer97, author = {Sabine Glesner and Wolf Zimmermann}, title = {{Using Many-Sorted Natural Semantics to Specify and Generate Semantic Analysis}}, year = 1998, booktitle = {{Proceedings of the Systems Implementation Conference (SI2000)}}, publisher = {{Chapman \& Hall}}, address = {{Berlin}}, verifixkey = {UKA-Pub}, file = {GZ_SI2000} } @INCOLLECTION{GoosZimmermann99, Author = {Gerhard Goos and Wolf Zimmermann}, Title = {{Verification of Compilers}}, booktitle = {{Correct System Design}}, editor = {E.-R. Olderog and B. Steffen}, pages = {201-230}, year = 1999, series = "Lecture Notes in Computer Science", volume = 1710, publisher = {Springer-Verlag} } @INPROCEEDINGS{GoosZimmermann2000, author = {Gerhard Goos and Wolf Zimmermann}, title = {{Verifying Compilers and ASMs or ASMs for uniform description of multistep transformations}}, booktitle = {{ ASM-2000}}, series = "Lecture Notes in Computer Science", publisher = {Springer-Verlag}, year = 2000 } @TechReport{HeberleLoewe97, Author = {A. Heberle and W. L{\"o}we}, Title = "{G}enerierung von kompletten {C}ompiler-{F}rontends", Institution = {{W}estf"alische {W}ilhelms-{U}niversit"at {M}"unster}, year = 1997, type = {{Arbeitsbericht}}, number = {58}, note = "Arbeitstagung Programmiersprachen 1997", verifixkey = {UKA-Pub}, file = {GI97b} } @InCollection{GGHZ97, Author = {T. Gaul and G. Goos and A. Heberle and W. Zimmermann}, Title = "{Z}ur {K}onstruktion verifizierter {"U}bersetzer", booktitle = "Arbeitstagung Programmiersprachen", editor = "Herbert Kuchen", publisher = {{W}estf"alische {W}ilhelms-{U}niversit"at {M}"unster}, series = {Arbeitsbericht des Institutes f\"ur Wirtschaftsinformatik}, year = 1997, type = {{Arbeitsbericht}}, volume = 58, verifixkey = {UKA-Pub}, file = {GI97a} } @InProceedings{ HGGGZ99, author = "A. Heberle and T. Gaul and W. Goerigk and G. Goos and W. Zimmermann", title = {{Construction of Verified Compiler Front-Ends with Program-Checking}}, series = "Lecture Notes in Computer Science", volume = "1755", year = "1999", pages = "481 ff.", booktitle = "Proceedings of {PSI} '99: Andrei Ershov Third International Conference on Perspectives Of System Informatics", Address = {Novosibirsk, Russia}, publisher = "Springer Verlag", verifixkey = {UKA-Pub}, file = {psi99} } @Inproceedings{Gaul/Schumacher99, Author = {Gaul, T. and Schumacher, G.}, Title = {Advanced Generator Techniques for Embedded Compilers}, BookTitle = {Proceedings of the EMMSEC'99 Conference}, Pages = "744--750", Year = "1999", Publisher = {{IOS} Press}, Editor = {Roger, J.-Y. and Stanford-Smith, B. and Kidd, P.T.}, verifixkey = {UKA-Pub}, address = "Amsterdam", location = "Stockholm, Schweden", month = "jun", file = {emmsec99} } @Inproceedings{ GHGZ99, author = "T. Gaul and A. Heberle and W. Zimmermann and W. Goerigk", title = {{Construction of Verified Software Systems with Program-Checking: An Application To Compiler Back-Ends}}, year = "1999", booktitle = "Proceedings of {RTRV} '99: Workshop on Runtime Result Verification", editor = {Amir Pnueli and Paolo Traverso}, Address = {Trento, Italy}, file = {RTRV99} } @PhDThesis{ Heberle2000a, Author = {Heberle, Andreas}, Title = {{Korrekte Transformationsphase - der Kern korrekter {\"U}bersetzer}}, School = {Universit\"at Karlsruhe}, Address = {{K}arlsruhe}, Year = 2000, verifixkey = {UKA-Diss}, file = {Heberle2000a-Diss} } % % Ulm % @InProceedings{DHPR97, author = "A. Dold and F.W. von Henke and H. Pfeifer and H. Rue{\ss}", title = "Formal Verification of Transformations for Peephole Optimization", editor = "J. Fitzgerald, C.B. Jones, P. Lucas", volume = "1313", series = "Lecture Notes in Computer Science", pages = "459--472", booktitle = "{FME} '97: Formal Methods: Their Industrial Application and Strengthened Foundations", year = 1997, publisher = "Springer Verlag", month = "September", verifixkey = {ULM-Pub}, file = {peephole-fme97} } @InProceedings{vHOPR98, Author = {F.W. von Henke and S. Owre and S. Pfab and H. Rue{\ss}}, Title = {On Light-Weight Verification and Heavy-Weight Testing}, Year = {1998}, Address = {Malente}, Booktitle = {Proceedings of ATOOLS'98 Workshop on ``Tool Support for System Specification, Development, and Verification'', Malente}, verifixkey = {ULM-Pub}, file = {Lightweight} } @InProceedings{Dold98, author = "Axel Dold", title = "Software Development in PVS using Generic Development Steps", series = "LNCS", booktitle = "Proc. of a Dagstuhl Seminar on Generic Programming (April 98)", year = "1998", verifixkey = {ULM-Pub}, abstract = { This paper is concerned with a mechanized formal treatment of the transformational software development process in a unified framework. We utilize the PVS system to formally represent, verify and correctly apply generic software development steps and development methods from different existing transformational approaches. We illustrate our approach by representing the well-known divide-and-conquer paradigm, two optimization steps, and by formally deriving a mergesort program. }, file = {pvssoftdevelop} } @Misc{BPvHR97, author = "M. Bartels and H. Pfeifer and F.W. von Henke and H. Rue{\ss}", title = "Mechanizing Domain Theory", year = {1999}, note = "submitted to the journal ``Applied Categorical Structures", verifixkey = {ULM-sub}, file = {domain_theory} } @Misc{PvHR99, author = "H. Pfeifer and F.W. von Henke and H. Rue{\ss}", title = "Mechanized Semantics of Simple Imperative Programming Constructs", year = {1999}, note = "submitted to the journal ``Formal Aspects of Computing", verifixkey = {ULM-sub}, file = {semantics-PDvHR96} } @InProceedings{DoldVialard99, author = "A. Dold and V. Vialard", title = {{Formal Verification of a Compiler Back-End Generic Checker Program}}, series = "Lecture Notes in Computer Science", year = 1999, booktitle = "Proceedings of {PSI} '99: Andrei Ershov Third International Conference on Perspectives Of System Informatics", Address = {Novosibirsk, Russia}, publisher = "Springer Verlag", Note = {To appear} } % % Dissertationen % % Kiel @PhDThesis{Hoffmann98b, Author = {Hoffmann, Ulrich}, Title = {{Compiler Implementation Verification through Rigorous Syntactical Code Inspection}}, School = {Technische Fakult\"at der Christian-Albrechts-Universit\"at zu Kiel}, Address = {{K}iel}, Year = 1998, verifixkey = {CAU-Diss}, file = {Hoffmann98b-Diss} } @Book{Mueller-Olm96, Author = {Markus M\"uller-Olm}, Title = {{Modular Compiler Verification}}, Publisher = "Springer Verlag", Series = "LNCS", Volume = {1283}, Year = {1997}, Address = {Berlin, Heidelberg, New York}, Note = "PhD Thesis", verifixkey = {CAU-Diss}, file = {Mueller-Olm96-Diss} } @PhDThesis{Heberle:2000, Author = {Heberle, Andreas}, Title = {{Korrekte Transformationsphase --- der Kern korrekter Übersetzer}}, School = {Universität Karlsruhe, Fakultät für Informatik}, Address = {{K}arlsruhe}, Year = 2000, verifixkey = {UKA-Diss}, note = {to appear}, file = {} } % Diplom- und Studienarbeiten: % % Kiel % @MastersThesis{Michelsen98, Author = {Michelsen, Dagobert}, Title = {{Korrektheit der Daten- und Operationsverfeinerung f\"ur eine applikative Sprache mit automatischer Speicherbereinigung}}, School = CAUIfIuPM, Address = {{K}iel}, Year = 1998, verifixkey = {CAU-DA}, file = {michelsen-da} } @MastersThesis{Ruehle98, Author = {R{\"u}hle, J\"urgen}, Title = {{Verifikation der Codegenerierung im Verifix-Projekt: Pr\"adikattransformer und Erhaltung partieller Korrektheit}}, School = CAUIfIuPM, Address = {{K}iel}, Year = 1998, verifixkey = {CAU-DA}, file = {ruehle-da} } % % Karlsruhe % @MastersThesis{Heuzeroth:98, author = "Dirk Heuzeroth", title = {{Spezifikation und Verifikation von standardisierten Transformationen am Beispiel der {\"U}bersetzung der imperativen Sprache \textit{IS}}}, school = "University of Karlsruhe", year = "1998", verifixkey = {UKA-DA}, file = {IS2MIS} } @Misc{merke:98, author = "Artur Merke", title = {{Generische ASM Transformationen}}, howpublished = {{Studienarbeit, Universit{\"at} Karlsruhe}}, year = "1998", verifixkey = {UKA-SA}, file = {generic_asm_trafos} } @MastersThesis{Buris:98, author = "Boris Boesler", title = "Codeerzeugung aus {A}bh{\"a}ngigkeitsgraphen", school = "Universit{\"a}t Karlsruhe", year = 1998, verifixkey = {UKA-DA}, file = {Buris98} } % Ulm @MastersThesis{Pfab98, author = "S. Pfab", title = "{Efficient Abstract Interpretation of Formal Specifications and Its Interrelationship with Theorem Proving}", school = "Universit{\"a}t Ulm", year = {1998}, verifixkey = {ULM-DA}, file = {} } @MastersThesis{Ste98, author = "Michael Stegm{\"u}ller", title = "{Formale Verifikation des DLX RISC-Prozessors: Eine Fallstudie basierend auf abstrakten Zustandsmaschinen}", school = "Universit{\"a}t Ulm", year = {1998}, verifixkey = {ULM-DA}, file = {mstegmueller-dipl} } @MastersThesis{Moe98, author = "Oliver Möller", title = "{S}olving {B}it-{V}ector {E}quations - {A} {D}ecision {P}rocedure for {H}ardware {V}erification", school = "University of Ulm, Germany", year = "1998", note = "Diploma Thesis, available at {\tt http://www.informatik.uni-ulm.de/ki/Bitvector/}", verifixkey = {ULM-DA}, file = {om-dipl} } @InProceedings{ Hoffmann96d, author = {Hoffmann, Ulrich}, title = {{\"Uber die korrekte Implementierung von Compilern}}, booktitle = {Work\-shop {\sl ``Alternative Konzepte f\"ur Sprachen und Rechner''}}, address = {Bad Honnef}, year = {1996}, note = {Auch erschienen als {\it Verifix}\/-Arbeitsbericht Verifix/CAU/3.1}, verifixkey = {CAU-Pub}, file = {honnef96} } % % Veroeffentlichungen von Personen aus dem engeren Umfeld von Verifix % @Article{Ruething:1998:BDF, author = "O. Ruething", title = "Bidirectional Data Flow Analysis in Code Motion: Myth and Reality", journal = "Lecture Notes in Computer Science", volume = "1503", pages = "1--16", year = "1998", } @Inproceedings{Ruething:1997, author = "O. Ruething", title = "Optimal Code Motion in the Presence of Large Expressions", BookTitle = {Workshop on Programming Languages and Fundamentals of Programming, Avendorf September 1997}, editor = {Rudolf Berghammer and Friedemann Simon}, series = {Technical Report 9717}, year = 1997, publisher = {CAU Kiel}, address = {Kiel}, month = nov, pages = {86--97}, } @Article{Ruething:1998b, author = "O. Ruething", title = "Interacting Code Motion Transformations", journal = "Lecture Notes in Computer Science", volume = "1539", year = "1998", } @Inproceedings{Ruething:1998c, author = "O. Ruething", title = "Optimal Code Motion in the Presence of Large Expressions", BookTitle = {Proc. of International Conference on Computer Languages}, year = 1998, publisher = {IEEE}, pages = {216--225}, } @Inproceedings{Ruething:1995, author = "O. Ruething", title = "The Complexity of Exhaustive Motion-Elimination Frameworks", BookTitle = {{Proc. of the 8th Workshop of the RWTH Aachen, CAU Kiel, and TU M{\"u}nchen}}, year = 1998, publisher = {IEEE}, pages = {125--131}, } @InProceedings{FNZ97a, author = {Jozsef Frigo and Rainer Neumann and Wolf Zimmermann}, title = {Generation of Robust Class Hierarchies}, booktitle = {TOOLS 23 -- Technology of Object-Oriented Programming and Systems}, year = 1998, } @Article{Genius:1998:AIL, author = "D. Genius and M. Trapp and W. Zimmermann", title = "An Approach to Improve Locality Using Sandwich Types", journal = "Lecture Notes in Computer Science", volume = "1473", pages = "194--??", year = "1998", } @InProceedings{LNTZ98, author = {Welf L{\"o}we and Rainer Neumann and Martin Trapp and Wolf Zimmermann}, title = {Weak Subtyping}, booktitle = {TOOLS 24 -- Technology of Object-Oriented Programming and Systems}, year = 1998, } @Proceedings{Goos:97:PS, author = {Gerhard Goos and Wolf Zimmermann}, title = {Handbuch der Informatik}, chapter = {D2: Programmiersprachen}, publisher = {Hanser}, year = 1997, editor = {Peter Rechenberg and Gustav Pomberger}, pages = {363-406} } @InProceedings{Geni98, title = "Handling Cross Interferences by Cyclic Cache Line Coloring", author = "Daniela Genius", booktitle = "Proceedings of the 1998 Parallel Architectures and Compilation Techniques Conference (PACT'98)", pages = "112-117", year = "1998", publisher = "IEEE" } @InProceedings{GeniusEisen99, title = "Reducing Cache Conflicts by a Parametrized Memory Mapping", author = "Daniela Genius and J{\"o}rn Eisenbiegler", booktitle = "Proc. of the 4th Int. Conference of the Austrian Center for Parallel Computation (ACPC'99)", address = "Salzburg", year = "1999", publisher = "to appear in Springer LNCS", } @Article{ FZZ96, author = {A. Frick and W. Zimmer and W. Zimmermann}, title = {{Konstruktion robuster und flexibler Klassenbibliotheken}}, journal = {Informatik - Forschung und Entwicklung}, year = {1996}, volume = {11}, number = {4}, pages = {168--178}, note = {Eine frühere Version dieses Arikels erschien in {\em Softwaretechnik'95}, S. 35--46} } @Article{ FNZ97, author = {A. Frick and R. Neumann and W. Zimmermann}, title = {{Eine Methode zur Konstruktion robuster Klassenhierarchien}}, journal = {Informatik -- Forschung und Entwicklung}, year = {1997}, volume = {11}, number = {4}, pages = {186--195}, note = {Eine frühere Version dieses Arikels erschien in {\em Softwaretechnik'96}, S. 16--23} } @InProceedings{GHLZ2000, author = "Gerhard Goos, Andreas Heberle, Welf L{\"o}we and Wolf Zimmermann", title = "{On Modular Definitions and Implementations of Programming Languages}", booktitle = "{Proceedings of the 6th International Workshop on Abstract State Machines}", year = "2000", month = "mar", verifixkey = {UKA-Pub}, file = {ASM-WS2000-GHLZ} } @Inproceedings{ GGZ2000, author = "T. Gaul and W. Zimmermann and W. Goerigk", title = {{Practical Construction of Correct Compiler Implementations by Runtime Result Verification}}, year = 2000, booktitle = "Proceedings of SCI'2000, International Conference on Information Systems Analysis and Synthesis", Address = {Orlando, Florida}, file = {SCI2000} }