Searching for authors named "Gerhard Goos" – sorted by Relevance.
-
Issues in Compiling
- Issues in Compiling Gerhard Goos (Fakultät für Informatik Universität Karlsruhe, Germany ggoos
- Cited by 8 (0 self) – Add To MetaCart
-
Compiler Construction
- Boulder, Colorado 80309 USA email: William.Waite@(email omitted); Gerhard Goos Institut Programmstrukturen
- Cited by 84 (6 self) – Add To MetaCart
-
Systematic Software Construction
- Systematic Software Construction Gerhard Goos Uwe Amann Fakultt fr Informatik Universitt Karlsruhe
- Add To MetaCart
-
Register allocation for programs in ssa-form
- Towards Register Allocation for Programs in SSA-form Sebastian Hack, Daniel Grund, Gerhard Goos
- Cited by 8 (1 self) – Add To MetaCart
-
Specification and Verification of Compiler Frontend Tasks: Semantic Analysis
- and Wolf Zimmermann and Gerhard Goos Universitat Karlsruhe Institut fur Programmstrukturen und
- Cited by 2 (1 self) – Add To MetaCart
-
An Architecture for Verified Compiler Construction
- An Architecture for Verified Compiler Construction Thilo Gaul 1 , Gerhard Goos 1 , Andreas
- Cited by 4 (3 self) – Add To MetaCart
-
Verifying Compilers and ASMs or ASMs for uniform description of multistep transformations
- Verifying Compilers and ASMs or ASMs for uniform description of multistep transformations Gerhard
- Cited by 3 (0 self) – Add To MetaCart
-
Verification of Compilers
- Verification of Compilers Gerhard Goos and Wolf Zimmermann Fakultat fur Informatik Universitat
- Cited by 21 (1 self) – Add To MetaCart
-
Compiler Correctness and Implementation Verification: The Verifix Approach
- Axel Dold x Thilo Gaul z Gerhard Goos z Andreas Heberle z Friedrich W. von Henke x Ulrich
- Cited by 14 (6 self) – Add To MetaCart
-
Ort, Datum Unterschrift
- Geiß Responsible supervisor: Prof. em. Dr. Dr. h.c. Gerhard Goos ii Hiermit erkläre ich, die
- Add To MetaCart

