Prof. em. Dr. Dr. h.c. Gerhard Goos

» Home

» People

» Core competences

» Projects

» Former

» Publications

» Details

» Software

» Courses

» Thesis subjects

» Impressum

» Location

		Address
		IPD Goos

		Am Fasanengarten 5

		Geb. 50.34

		76131 Karlsruhe

		Germany

		Tel. +49 (721) 608-4761

		Email gerhard dot goos(at)kit dot edu

Consultation Hours: Sprechstunde nach Vereinbarung

Projects

		Former
		EASYCOMP

		Sather-K

		Verifix

Publications

		2006
		Hack, Goos, Optimal register allocation for SSA-form programs in polynomial time

		Hack, Grund, Goos, Register allocation for programs in SSA-form


		2005
		Hack, Grund, Goos, Towards Register Allocation for Programs in SSA-form


		2004
		Glesner, Goos, Zimmermann, Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers)


		2002
		Goos, Software as Science?


		2001
		Goos, Issues in Compiling

		Goos, Vorlesungen über Informatik Band 2: Objektorientiertes Programmieren und Algorithmen


		2000
		Frick, Goos, Neumann, Zimmermann, Construction of Robust Class Hierarchies

		Goos, Zimmermann, Verifying Compilers and ASMs

		Goos, Zimmermann, ASMs for uniform description of multistep transformations

		Goos, Vorlesungen über Informatik Band 1: Grundlagen und funktionales Programmieren


		1999
		Goos, Zimmermann, Verification of Compilers


		1998
		Schoknecht, Spott, Riedmiller, Goos, Menzel, Selbständiges Lernen von Regelungen mit Fynesse

		Goos, Vorlesungen über Informatik Band 4: Parallelität und nicht-analytische Lösungsverfahren


		1997
		Gaul, Goos, Heberle, Zimmermann, Zur Konstruktion verifizierter Übersetzer

		Gaul, Goos, Heberle, Zimmermann, Goerigk, An Architecture for Verified Compiler Construction

		Goos, Spott, Weisbrod, Riedmiller, Interpretation und Adaption unscharfer Relationen innerhalb einer hybriden selbstlernenden Steuerungsarchitektur

		Goos, Sather-K - The Language

		Goos, Zimmermann, D2: Programmiersprachen

		Goos, Vorlesungen über Informatik Band 3: Berechenbarkeit, formale Sprachen und Spezifikationen


		1996
		Goerigk, Dold, Gaul, Goos, Heberle, von Henke, Hoffmann, Langmaack, Zimmermann, Compiler Correctness and Implementation Verification: The Verifix Approach


		1994
		Goos, Algorithmentechnik (Vorlesungsskript)


		1984
		Goos, Waite, Compiler Construction

Links