Proceedings 13 Volume Editors (2009)
Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, ...
Natural Language and
Commenced Publication in 1973 Founding and Former Series Editors: (2008)
Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, ...
Commenced Publication in 1973 Founding and Former Series Editors: (2008)
Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, ...
Commenced Publication in 1973 Founding and Former Series Editors: (2008)
Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, ...
Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, ...
concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks....
Commenced Publication in 1973 Founding and Former Series Editors: (2008)
Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, ...
Founding and Former Series Editors: (2008)
Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, ...
multistep transformations (2008)
Gerhard Goos, Wolf Zimmermann, Fakultät Für Informatik
Abstract. A verifying compiler ensures that the compiled code is always correct but the compiler may also terminate with an error mesage and then fails to generate code. We argue that with respect to...
Commenced Publication in 1973 Founding and Former Series Editors: (2008)
Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, ...
Commenced Publication in 1973 Founding and Former Series Editors: (2008)
Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, ...
Commenced Publication in 1973 Founding and Former Series Editors: (2008)
Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, ...
Relevance Feedback for Sketch Retrieval Based on Linear Programming Classification (2008)
Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, ...
Abstract. Relevance feedback plays as an important role in sketch retrieval as it does in existing content-based retrieval. This paper presents a method of relevance feedback for sketch retrieval by...
Commenced Publication in 1973 Founding and Former Series Editors: (2008)
Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, ...
Commenced Publication in 1973 Founding and Former Series Editors: (2008)
Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, ...
Commenced Publication in 1973 Founding and Former Series Editors: (2008)
Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, ...
Scalability of Microkernel-Based Systems Zur Erlangung des akademischen Grades eines (2008)
Doktors Der Ingenierwissenschaften, Volkmar Uhlig, Hauptreferent Prof, Dr. Gerhard Goos
von
Ort, Datum Unterschrift (2008)
Fakultät Für Informatik, Lehrstuhl Prof Goos, Diploma Moritz, A. Kroll, Rubino Geiß, ...
ii Hiermit erkläre ich, die vorliegende Arbeit selbständig verfasst und keine anderen als die angegebenen Hilfsmittel benutzt zu haben.
Gerhard Goos, Andreas Heberle, Wolf Zimmermann, Wolfgang Goerigk
Abstract Verified compilers are essential for the development of safetycritical software systems. Critical parts of control systems are still often written and verified at the assembler level,...
On Modular Definitions and Implementations of Programming Languages (2007)
Gerhard Goos, Andreas Heberle, Welf Lowe, Wolf Zimmermann
Abstract. We provide a framework for modular definitions and implementations of programming language based on abstract state machines. It is based on composition mechanism of state transition...
Identifying and Modeling Components in the SawMill Operating System (2007)
Stephan Wagner, Verantwortlicher Betreuer, Prof Dr, Gerhard Goos, Betreuende Mitarbeiter, Dr. Kevin Elphinstone, ...
Hiermit erklare ich, die vorliegende Arbeit selbstandig verfat und keine anderen als die angegebenen Literaturhilfsmittel verwendet zu haben. Karlruhe, den 26.11.2002
Systematic Software Construction (2007)
The goal of software construction is a program which may be executed together with other programs by a computer or a network of computers. A computer in this context is any piece of hardware capable...
multistep transformations (2007)
Gerhard Goos, Wolf Zimmermann, Fakultat Fur Informatik
Abstract. A verifying compiler ensures that the compiled code is always correct but the compiler may also terminate with an error mesage and then fails to generate code. We argue that with respect to...
Register allocation for programs in ssa-form (2006)
Sebastian Hack, Daniel Grund, Gerhard Goos
In this technical report, we present an architecture for register allocation on the SSA-form. We show, how the properties of SSA-form programs and their interference graphs can be exploited to...
Register allocation for programs in ssa-form (2006)
Sebastian Hack, Daniel Grund, Gerhard Goos, Fakultät Für Informatik
Abstract. As register allocation is one of the most important phases in optimizing compilers, much work has been done to improve its quality and speed. We present a novel register allocation...
Commenced Publication in 1973 Founding and Former Series Editors: (2006)
Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, ...
Pilar Herrero et al. (Eds.) On the Move to Meaningful Internet Systems 2006:
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland (2006)
Broy, Manfred, Jarke, Matthias, Nagl, Manfred, Rombach, Hans Dieter, Cremers, Armin B., Ebert, Jürgen, ...
Im Rahmen des Dagstuhl Perspektiven Workshop 05402 "Challenges for Software Engineering Research" haben führende Software Engineering Professoren den derzeitigen Stand der Softwaretechnik in...
Towards register allocation of SSA-form programs (2005)
Hack, Sebastian, Grund, Daniel, Goos, Gerhard
In this technical report, we present an architecture for register allocation on the SSA-form. We show, how the properties of SSA-form programs and their interference graphs can be exploited to...
We consider the state of the art in compiler construction and where to go from here. Main topics are improved exploitation of present (and future) hardware features, the interaction between compiling...
Verification of compilers (1999)
Gerhard Goos, Wolf Zimmermann, Fakultat Fur Informatik
Abstract. We report about a joint project of the universities at Karlsruhe, Kiel and Ulm on how to get correct compilers for realistic programming languages. Arguing about compiler correctness must...
Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, ...
Proceedings
Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, ...
Proceedings
Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, ...
Proceedings
Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, ...
Femke van Raamsdonk Roel de Vrijer (Eds.)
Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, ...
concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks....
Specification and Verification of Compiler Frontend Tasks: Semantic Analysis (1996)
Andreas Heberle, Wolf Zimmermann, Gerhard Goos
We describe a methodology for the specification and verification of the tasks of compiler frontends. The semantics of the language to be compiled is specified with Evolving Algebras. With respect to...
Compiler Correctness and Implementation Verification: The Verifix Approach (1996)
Wolfgang Goerigk, Axel Dold, Thilo Gaul, Gerhard Goos, Andreas Heberle, ...
Compiler correctness is crucial to the software engineering of safety critical software. It depends on both the correctness of the compiling specification and the correctness of the compiler...
William M. Waite, Gerhard Goos
Compiler Construction, a modern text written by two leaders in the in the field, demonstrates how a compiler is built. Describing the necessary tools and how to create and use them, the authors...
William M. Waite, Gerhard Goos
Compiler Construction, a modern text written by two leaders in the in the eld, demonstrates how a compiler is built. Describing the necessary tools and how to create and use them, the authors compose...
Heidelberg, Univ., Med. Fak., Diss. 1972. (Nicht f. d. Austausch.).