Reinhard Wilhelm

Affiliations:
  • Saarland University, Compiler Design Lab, Germany
  • Schloss Dagstuhl - Leibniz Center for Informatics, Germany


According to our database1, Reinhard Wilhelm authored at least 227 papers between 1974 and 2023.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2000, "For important contributions in the field of compilers, particularly code-generator generators and program analysis, and for outstanding service as Scientific Director of Schloss Dagstuhl.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Abstract Interpretation in Industry - Experience and Lessons Learned.
Proceedings of the Static Analysis - 30th International Symposium, 2023

2022
Principles of Abstract Interpretation: <i>By Patrick Cousot</i> MIT Press, 2021, ISBN 9780262044905, pp. 1-819. Reviewed by Reinhard Wilhelm.
Formal Aspects Comput., 2022

Von Autopiloten, Taliban und dem Friedrichstadtpalast: Neue Einsichten eines Informatikers von geringem Verstande.
Amazon / Via tolino media, ISBN: 979-8-8201-4268-0, 2022

2021
Trekking oder Tracking, das ist hier die Frage.
Neue Einsichten eines Informatikers von geringem Verstande, 2021

Der Niedergang des Schlapphütefilms.
Neue Einsichten eines Informatikers von geringem Verstande, 2021

Die Automatisierung nachgeordneter Prozesse.
Neue Einsichten eines Informatikers von geringem Verstande, 2021

Weiche oder harte Wegbiegung.
Neue Einsichten eines Informatikers von geringem Verstande, 2021

Taliban in Wikipedia.
Neue Einsichten eines Informatikers von geringem Verstande, 2021

Open Access to the University Cash Box.
Neue Einsichten eines Informatikers von geringem Verstande, 2021

Standardisierung und Kommunikation.
Neue Einsichten eines Informatikers von geringem Verstande, 2021

Eine Bahnfahrt, die ist lustig, eine Bahnfahrt, die ist schön!
Neue Einsichten eines Informatikers von geringem Verstande, 2021

Graduelle Mitgliedschaft.
Neue Einsichten eines Informatikers von geringem Verstande, 2021

Das kleine und das große Geschäft bei Amazon.
Neue Einsichten eines Informatikers von geringem Verstande, 2021

Fucking Bitche.
Neue Einsichten eines Informatikers von geringem Verstande, 2021

Geadeltes Gemüse.
Neue Einsichten eines Informatikers von geringem Verstande, 2021

TechnoKing Elon Musk und risikomaximierter Minister Andi Scheuer.
Neue Einsichten eines Informatikers von geringem Verstande, 2021

Den Kontrolleur kontrollieren.
Neue Einsichten eines Informatikers von geringem Verstande, 2021

Das Glück, Heribert zu heißen.
Neue Einsichten eines Informatikers von geringem Verstande, 2021

Kreisläufe des Lebens.
Neue Einsichten eines Informatikers von geringem Verstande, 2021

Verifizierter Interessenskonflikt - Glosse.
Inform. Spektrum, 2021

Software und das 8. Gebot - Glosse.
Inform. Spektrum, 2021

Foundations of programming languages.
Formal Aspects Comput., 2021

Testing Implementation Soundness of a WCET Analysis Tool.
Proceedings of the A Journey of Embedded and Cyber-Physical Systems, 2021

2020
Determining Reliable and Precise Execution Time Bounds of Real-Time Software.
IT Prof., 2020

Tiefes Leid und enorme Großzügigkeit - Glosse.
Inform. Spektrum, 2020

Die Seuche am Hals - Glosse.
Inform. Spektrum, 2020

Daten- und Personenpfade - Glosse.
Inform. Spektrum, 2020

Die Bahn gewährt eine Freifahrt - Glosse.
Inform. Spektrum, 2020

Google, übersetze! - Glosse.
Inform. Spektrum, 2020

Bär, Bulle, Dachs und Co - Glosse.
Inform. Spektrum, 2020

Geladen bis zum Limit - Glosse.
Inform. Spektrum, 2020

Real time spent on real time.
Commun. ACM, 2020

Einsichten eines Informatikers von geringem Verstande - Glossen aus dem Informatik Spektrum
Springer, ISBN: 978-3-658-28386-5, 2020

2019
Benchmarking static code analyzers.
Reliab. Eng. Syst. Saf., 2019

Der rollende Fortschritt - Glosse.
Inform. Spektrum, 2019

Au, Toren schafft Autorenschaft - Glosse.
Inform. Spektrum, 2019

Letzte Rätsel - Glosse.
Inform. Spektrum, 2019

Im goldenen Zeitalter der Kommunikation - Glosse.
Inform. Spektrum, 2019

Autonom gefahren - Glosse.
Inform. Spektrum, 2019

GI 50 - und wie geht es weiter?
Proceedings of the 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik, 2019

2018
Die Individualisierung des Nutzen - Glosse.
Inform. Spektrum, 2018

Autonomer Optimismus - Glosse.
Inform. Spektrum, 2018

Gesund oder ungesund, das ist hier die Frage - Glosse.
Inform. Spektrum, 2018

Mixed Feelings About Mixed Criticality (Invited Paper).
Proceedings of the 18th International Workshop on Worst-Case Execution Time Analysis, 2018

On the Road to Conviction: An Email Exchange with Edward Lee.
Proceedings of the Principles of Modeling, 2018

Keeping up with Real Time.
Proceedings of the Advances in Aeronautical Informatics, Technologies Towards Flight 4.0., 2018

2017
Mit besten Empfehlungen - Glosse.
Inform. Spektrum, 2017

Künstliche Begeisterung und abgrundtiefes Lernen - Glosse.
Inform. Spektrum, 2017

Resource Bound Analysis (Dagstuhl Seminar 17291).
Dagstuhl Reports, 2017

2016
A Survey on Static Cache Analysis for Real-Time Systems.
Leibniz Trans. Embed. Syst., 2016

Das WissPersPlan-Problem - Glosse.
Inform. Spektrum, 2016

GLOSSE 4.0 - Glosse.
Inform. Spektrum, 2016

Revolutionäre bibliometrische Maße - Glosse.
Inform. Spektrum, 2016

Static Timing Analysis - What is Special?
Proceedings of the Semantics, Logics, and Calculi, 2016

2015
Towards compositionality in execution time analysis: definition and challenges.
SIGBED Rev., 2015

Die Energiewende in ihrem Lauf, ... - Glosse.
Inform. Spektrum, 2015

Bedienhilfen - Glosse.
Inform. Spektrum, 2015

Kluge Elterei - Glosse.
Inform. Spektrum, 2015

Der Algorithmus - eine moderne Menschheitsplage - Glosse.
Inform. Spektrum, 2015

Toward Compact Abstractions for Processor Pipelines.
Proceedings of the Correct System Design, 2015

2014
Building timing predictable embedded systems.
ACM Trans. Embed. Comput. Syst., 2014

Gespritzt, bestrahlt, gepumpt, aber nicht verifiziert - Glosse.
Inform. Spektrum, 2014

Reisen ins Unwesentliche - Glosse.
Inform. Spektrum, 2014

Die Differenzierung der Mail-Halde - Glosse.
Inform. Spektrum, 2014

Computation takes time, but how much?
Commun. ACM, 2014

Software Quality Assurance by Static Program Analysis.
Proceedings of the Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering, 2014

Impact of resource sharing on performance and performance prediction.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Keller im Übersetzerbau.
Proceedings of the Keller, Stack und automatisches Gedächtnis, 2014

2013
Introduction to the special section on rigorous embedded systems design.
ACM Trans. Embed. Comput. Syst., 2013

Achtung Satire: Wasserdampf ade - Glosse.
Inform. Spektrum, 2013

Zwitschernd in den Untergang - Glosse.
Inform. Spektrum, 2013

Müll und Metamüll - Glosse.
Inform. Spektrum, 2013

Impact of Resource Sharing on Performance and Performance Prediction: A Survey.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs.
Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

Harald Ganzinger's Legacy: Contributions to Logics and Programming.
Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

Compiler Design - Syntactic and Semantic Analysis.
Springer, ISBN: 978-3-642-17539-8, 2013

2012
The International Swabian Rim Workshop on Extremely Agile Goal-Oriented Insightbased System Engineering - Glosse.
Inform. Spektrum, 2012

"Von Scheiße befreit", Frei nach Goethe, Faust I - Glosse.
Inform. Spektrum, 2012

Paradies 2.0 - Glosse.
Inform. Spektrum, 2012

Sehr zu empfehlen - Glosse.
Inform. Spektrum, 2012

Turing und die Verifikation.
Inform. Spektrum, 2012

Embedded systems: Many cores - Many problems.
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints.
Proceedings of the Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years)., 2012

Compiler Design - Analysis and Transformation.
Springer, ISBN: 978-3-642-17547-3, 2012

2011
Die Freuden der rechnergestützten Lebensführung - Glosse.
Inform. Spektrum, 2011

Auf ewig sicher !? - Glosse.
Inform. Spektrum, 2011

Brad Bit and Juliette Binom - Glosse.
Inform. Spektrum, 2011

Usability considered harmful - Glosse.
Inform. Spektrum, 2011

Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482).
Dagstuhl Manifestos, 2011

A Template for Predictability Definitions with Supporting Evidence.
Proceedings of the Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011

2010
Static Timing Analysis for Hard Real-Time Systems.
Proceedings of the Verification, 2010

Ubiquitous Verification of Ubiquitous Systems.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

Compiler Design - Virtual Machines.
Springer, ISBN: 978-3-642-14908-5, 2010

2009
Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

Editorial.
Comput. Sci. Res. Dev., 2009

EMSOFT 2007 guest editors' introduction.
Des. Autom. Embed. Syst., 2009

Teaching WCET Analysis in Academia and Industry: A Panel Discussion.
Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

The PROMPT design principles for predictable multi-core architectures.
Proceedings of the 12th International Workshop on Software and Compilers for Embedded Systems, 2009

Improving Timing Analysis for Matlab Simulink/Stateflow.
Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009

Towards device emulation code generation.
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

Polynomial Precise Interval Analysis Revisited.
Proceedings of the Efficient Algorithms, 2009

Determining Bounds on Execution Times.
Proceedings of the Embedded Systems Design and Verification, 2009

2008
The worst-case execution-time problem - overview of methods and survey of tools.
ACM Trans. Embed. Comput. Syst., 2008

Algorithm visualization using concrete and abstract shape graphs.
Proceedings of the ACM 2008 Symposium on Software Visualization, 2008

Parametric Timing Analysis for Complex Architectures.
Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

Architectural Influence on the Timing Predictability.
Proceedings of the Proceedings 14th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), March 31, 2008

Timing Validation of Automotive Software.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures.
Proceedings of the Design, Automation and Test in Europe, 2008

Abstract Interpretation with Applications to Timing Validation.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
Logical characterizations of heap abstractions.
ACM Trans. Comput. Log., 2007

Timing predictability of cache replacement policies.
Real Time Syst., 2007

SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme).
it Inf. Technol., 2007

Static Analysis of Dynamic Communication Systems by Partner Abstraction.
Proceedings of the Static Analysis, 14th International Symposium, 2007

Exploiting SIMD Parallelism with the CGiSCompiler Framework.
Proceedings of the Languages and Compilers for Parallel Computing, 2007

Grand challenges in embedded software.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Shape Analysis and Applications.
Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2007

2006
Verifying Temporal Heap Properties Specified via Evolution Logic.
Log. J. IGPL, 2006

A Definition and Classification of Timing Anomalies.
Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality.
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

The Development of the Data-Parallel GPU Programming Language CGiS.
Proceedings of the Computational Science, 2006

Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis.
Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), 2006

Analysis of Dynamic Communicating Systems by Hierarchical Abstraction.
Proceedings of the Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02., 2006

Abstract Interpretation of Graph Transformation.
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

Preface -- Workshop Trustworthy Software 2006.
Proceedings of the Workshop "Trustworthy Software" 2006, 2006

The CGiS Compiler-A Tool Demonstration.
Proceedings of the Compiler Construction, 15th International Conference, 2006

Towards Model-Driven Development of Hard Real-Time Systems.
Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006

2005
Determining Bounds on Execution Times.
Proceedings of the Embedded Systems Handbook., 2005

Guidelines for a graduate curriculum on embedded software and systems.
ACM Trans. Embed. Comput. Syst., 2005

2005 WCET Preface - Message from the Workshop Chair.
Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2005

Automatic Verification of Strongly Dynamic Software Systems.
Proceedings of the Verified Software: Theories, 2005

Algorithm animation using shape analysis: visualising abstract executions.
Proceedings of the ACM 2005 Symposium on Software Visualization, 2005

A semantics for procedure local heaps and its abstractions.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004
Design for Timing Predictability.
Real Time Syst., 2004

Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone.
Proceedings of the Verification, 2004

Formal Analysis of Processor Timing Models.
Proceedings of the Model Checking Software, 2004

Timing Analysis and Timing Predictability.
Proceedings of the Formal Methods for Components and Objects, 2004

Design for Time-Predictability.
Proceedings of the Perspectives Workshop: Design of Systems with Predictable Behaviour, 2004

Abstracts Collection.
Proceedings of the Perspectives Workshop: Design of Systems with Predictable Behaviour, 2004

Requirements for and Design of a Processor with Predictable Timing.
Proceedings of the Perspectives Workshop: Design of Systems with Predictable Behaviour, 2004

Static Program Analysis via 3-Valued Logic.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Component-Wise Instruction-Cache Behavior Prediction.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code.
Proceedings of the Automotive Software, 2004

2003
The influence of processor architecture on the design and the results of WCET tools.
Proc. IEEE, 2003

Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire.
Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, 2003

Convenient User Annotations for a WCET Tool.
Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, 2003

Validierung des Zeitverhaltens von kritischer Echtzeit-Software.
Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003

Run-Time Guarantees for Real-Time Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002
Parametric shape analysis via 3-valued logic.
ACM Trans. Program. Lang. Syst., 2002

Shape Analysis and Applications.
Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2002

2001
Reliable and Precise WCET Determination for a Real-Life Processor.
Proceedings of the Embedded Software, First International Workshop, 2001

Algorithm Explanation: Visualizing Abstract States and Invariants.
Proceedings of the Software Visualization, 2001

2000
Focusing in Algorithm Explanation.
IEEE Trans. Vis. Comput. Graph., 2000

Fast and Precise WCET Prediction by Separated Cache and Path Analyses.
Real Time Syst., 2000

Putting static analysis to work for verification: A case study.
Proceedings of the International Symposium on Software Testing and Analysis, 2000

Shape Analysis.
Proceedings of the Compiler Construction, 9th International Conference, 2000

1999
Cache Behavior Prediction by Abstract Interpretation.
Sci. Comput. Program., 1999

Timing Analysis and Validation for Real-Time Systems - Guest Editor's Introduction.
Real Time Syst., 1999

Efficient and Precise Cache Behavior Prediction for Real-Time Systems.
Real Time Syst., 1999

Animation of the Generation and Computation of Finite Automata for Learning Software.
Proceedings of the Automata Implementation, 1999

Run-Time Guarantees for Real-Time Systems - The USES Approach.
Proceedings of the Informatik '99, 1999

1998
Solving Shape-Analysis Problems in Languages with Destructive Updating.
ACM Trans. Program. Lang. Syst., 1998

A Logic-Based Approach to Program Flow Analysis.
Acta Informatica, 1998

On Predicting Data Cache Behavior for Real-Time Systems.
Proceedings of the Languages, 1998

Analysis of Loops.
Proceedings of the Compiler Construction, 7th International Conference, 1998

1997
Program Analysis: A Toolmaker's Perspective.
ACM SIGPLAN Notices, 1997

A Functional Description of TEX's Formula Layout.
J. Funct. Program., 1997

Übersetzerbau - Theorie, Konstruktion, Generierung, 2. Auflage
Springer, ISBN: 3-540-61692-6, 1997

1996
Parallel Implementation of Functional Languages.
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Grundlagen der Dokumentenverarbeitung.
Addison-Wesley, ISBN: 978-3-89319-877-1, 1996

Informatik - Grundlagen, Anwendungen, Perspektiven.
Beck'sche Reihe 2038, Beck, ISBN: 978-3-406-40338-5, 1996

1995
2DT-FP: A parallel functional programming language on two-dimensional data.
Int. J. Parallel Program., 1995

An application specific parallel programming paradigm.
Proceedings of the High-Performance Computing and Networking, 1995

CLaX - A Visualized Compiler.
Proceedings of the Graph Drawing, Symposium on Graph Drawing, 1995

Compiler design.
Addison-Wesley, ISBN: 978-0-201-42290-0, 1995

1994
Lokale Optimierung ausnahmebehafteter Programme durch Spuroptimierung.
Inform. Forsch. Entwickl., 1994

Tree Automata for Code Selection.
Acta Informatica, 1994

Implementing 2DT on a Multiprocessor.
Proceedings of the Compiler Construction, 5th International Conference, 1994

Les compilateurs - théorie, construction, génération.
Masson, ISBN: 978-2-225-84615-1, 1994

1993
Transformation Development: TrafoLa-H Subsystem.
Proceedings of the Program Development by Specification and Transformation, 1993

Generation of Synchronization Code for Parallel Compilers.
Proceedings of the Programming Language Implementation and Logic Programming, 1993

2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks.
Proceedings of the PARLE '93, 1993

Parallele und verteilte Systeme.
Proceedings of the Informatik: Grundlagen - Amwendungen, 1993

Programmiersprachen.
Proceedings of the Informatik: Grundlagen - Amwendungen, 1993

Generische und generative Methoden.
Proceedings of the Informatik: Grundlagen - Amwendungen, 1993

Einleitung.
Proceedings of the Informatik: Grundlagen - Amwendungen, 1993

1992
Übersetzerbau - Theorie, Konstruktion, Generierung
Springer, ISBN: 3-540-55704-0, 1992

Baumautomaten zur Codeselektion.
Proceedings of the Informatik, Festschrift zum 60. Geburtstag von Günter Hotz, 1992

1991
Table Compression for Tree Automata.
ACM Trans. Program. Lang. Syst., 1991

Attributive Reevaluation in OPTRAN.
Proceedings of the Attribute Grammars, 1991

Grammar Flow Analysis.
Proceedings of the Attribute Grammars, 1991

An Overview of the OPTRAN System.
Proceedings of the Attribute Grammars, 1991

1990
Tree Tranformations, Functional Languages, and Attribute Grammars.
Proceedings of the Attribute Grammars and their Applications, 1990

A Logic-Based Approach to Data Flow Analysis Problem.
Proceedings of the Programming Language Implementation and Logic Programming, 1990

1989
Simulating Circular Attribute Grammars Through Attribute Reevaluation.
Inf. Process. Lett., 1989

MaMa - eine abstrakte Maschine zur Implementierung funktionaler Programmiersprachen.
Inform. Forsch. Entwickl., 1989

Übersetzer für imperative, funktionale und logische Programmiersprachen: Ein Vergleich (eingeladener Vortrag).
Proceedings of the Software-Entwicklung: Konzepte, 1989

Foundations of Programming Languages
John Wiley, ISBN: 0-471-92139-4, 1989

1988
Attribute (Re)evaluation in OPTRAN.
Acta Informatica, 1988

S<sub>iA</sub>T<sub>E</sub>X - eine interaktive Arbeitsumgeubng für T<sub>E</sub>X.
Proceedings of the Innovative Informations-Infrastrukturen, 1988

Implementierung der funktionalen Programmiersprache HOPE mit Hilfe von Kombinatoren.
Proceedings of the Innovative Informations-Infrastrukturen, 1988

Two Tree Pattern Matchers for Code Selection.
Proceedings of the Compiler Compilers and High Speed Compilation, 1988

OPTRAN - A Language/System for the Specification of Program Transformations: System Overview and Experiences.
Proceedings of the Compiler Compilers and High Speed Compilation, 1988

Complied Graph Reduction on a Processor Network.
Proceedings of the Architektur und Betrieb vpn Rechensystemen, 1988

1987
A Space-Efficient Optimization of Call-by-Need.
IEEE Trans. Software Eng., 1987

1986
Grundlagen der Programmiersprachen
Teubner, ISBN: 3-519-02254-0, 1986

1984
How to Implement a System for Manipulation of Attributed Trees.
Proceedings of the Programmiersprachen und Programmentwicklung, 1984

Inverse Currying Transformation on Attribute Grammars.
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

1983
Symbolische Programmausführung - Das aktuelle Schlagwort.
Inform. Spektrum, 1983

1982
Constructors for Composed Objects.
Comput. Lang., 1982

Iterative Algorithms on Grammar Graphs.
Proceedings of the 8th Conference Graphtheoretic Concepts in Computer Science (WG '82), 1982

A Truly Generative Semantics-Directed Compiler Generator.
Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982

LL- and LR-Attributed Grammars.
Proceedings of the Programmiersprachen und Programmentwicklung, 1982

Imperative, prädikative und funktionale Programmierung (Kurzfassung).
Proceedings of the GI - 12. Jahrestagung, Kaiserslautern, 5. -7. Oktober 1982, Proceedings, 1982

1981
A Modified Tree-to-Tree Correction Problem.
Inf. Process. Lett., 1981

Invariance of Approximate Semantics with Respect to Program Transformations.
Proceedings of the GI, 1981

1980
OPTRAN, a Language for the Specification of Program Transformations.
Proceedings of the Programmiersprachen und Programmentwicklung, 1980

1979
Attributierte Grammatiken.
Inform. Spektrum, 1979

Computation and Use of Data Flow Information in Optimizing Compilers.
Acta Informatica, 1979

1978
Counter-One-Pass Features in One-Pass Compilation: A Formalization Using Attribute Grammars.
Inf. Process. Lett., 1978

1977
Baum-Transformatoren: ein Vergleich mit Baum-Transduktoren und Aspekte der Implementierung.
PhD thesis, 1977

Automatic Generation of Optimizing Multipass Compilers.
Proceedings of the Information Processing, 1977

Implementierbarkeit attributierter Grammatiken.
Proceedings of the GI - 7. Jahrestagung, Nürnberg, 26.-28. September 1977, Proceedings, 1977

1976
Design Evaluation of the Compiler Generating System MUGI.
Proceedings of the 2nd International Conference on Software Engineering, 1976

MUG1 - an incremental compiler-compiler.
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

1975
Verschränkung von Compiler-Moduln.
Proceedings of the GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975, 1975

1974
Code-Optimierung Mittels Attributierter Transformationsgrammatiken.
Proceedings of the GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974, 1974


  Loading...