 | 2010 |
|---|
| 137 |       | Reinhard Wilhelm,
Sebastian Altmeyer,
Claire Burguière,
Daniel Grund,
Jörg Herter,
Jan Reineke,
Björn Wachter,
Stephan Wilhelm:
Static Timing Analysis for Hard Real-Time Systems.
VMCAI 2010: 3-22 |
| 2009 |
|---|
| 136 | | Thomas Gawlitza,
Jérôme Leroux,
Jan Reineke,
Helmut Seidl,
Grégoire Sutre,
Reinhard Wilhelm:
Polynomial Precise Interval Analysis Revisited.
Efficient Algorithms 2009: 422-437 |
| 135 | | Thomas Heinz,
Reinhard Wilhelm:
Towards device emulation code generation.
LCTES 2009: 109-118 |
| 134 | | Niklas Holsti,
Guillem Bernat,
Christian Ferdinand,
Peter P. Puschner,
Reinhard Wilhelm:
Teaching WCET Analysis in Academia and Industry: A Panel Discussion.
WCET 2009 |
| 133 | | Roswitha Bardohl,
Christian Lindig,
Angelika Müller-von Brochowski,
Reinhard Wilhelm:
Editorial.
Computer Science - R&D 23(1): 3-5 (2009) |
| 132 | | Reinhard Wilhelm,
Daniel Grund,
Jan Reineke,
Marc Schlickling,
Markus Pister,
Christian Ferdinand:
Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems.
IEEE Trans. on CAD of Integrated Circuits and Systems 28(7): 966-978 (2009) |
| 2008 |
|---|
| 131 | | Reinhard Wilhelm,
Björn Wachter:
Abstract Interpretation with Applications to Timing Validation.
CAV 2008: 22-36 |
| 130 | | E. Frank,
Reinhard Wilhelm,
Rolf Ernst,
Alberto L. Sangiovanni-Vincentelli,
Marco Di Natale:
Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures.
DATE 2008: 659-663 |
| 129 | | Daniel Kästner,
Reinhard Wilhelm,
Reinhold Heckmann,
Marc Schlickling,
Markus Pister,
Marek Jersak,
Kai Richter,
Christian Ferdinand:
Timing Validation of Automotive Software.
ISoLA 2008: 93-107 |
| 128 |  | Reinhard Wilhelm:
Architectural Influence on the Timing Predictability.
MMB 2008: 11-12 |
| 127 | | Sebastian Altmeyer,
Christian Humbert,
Björn Lisper,
Reinhard Wilhelm:
Parametric Timing Analysis for Complex Architectures.
RTCSA 2008: 367-376 |
| 126 | | Sascha A. Parduhn,
Raimund Seidel,
Reinhard Wilhelm:
Algorithm visualization using concrete and abstract shape graphs.
SOFTVIS 2008: 33-36 |
| 125 | | Reinhard Wilhelm,
Jakob Engblom,
Andreas Ermedahl,
Niklas Holsti,
Stephan Thesing,
David B. Whalley,
Guillem Bernat,
Christian Ferdinand,
Reinhold Heckmann,
Tulika Mitra,
Frank Mueller,
Isabelle Puaut,
Peter P. Puschner,
Jan Staschulat,
Per Stenström:
The worst-case execution-time problem - overview of methods and survey of tools.
ACM Trans. Embedded Comput. Syst. 7(3): (2008) |
| 2007 |
|---|
| 124 | | Christoph M. Kirsch,
Reinhard Wilhelm:
Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria
ACM 2007 |
| 123 | | Reinhard Wilhelm:
5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 5, 2005, Palma de Mallorca, Spain
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 |
| 122 | | Christoph M. Kirsch,
Reinhard Wilhelm:
Grand challenges in embedded software.
EMSOFT 2007: 2-6 |
| 121 | | Nicolas Fritz,
Philipp Lucas,
Reinhard Wilhelm:
Exploiting SIMD Parallelism with the CGiSCompiler Framework.
LCPC 2007: 246-260 |
| 120 | | Jörg Bauer,
Reinhard Wilhelm:
Static Analysis of Dynamic Communication Systems by Partner Abstraction.
SAS 2007: 249-264 |
| 119 | | Greta Yorsh,
Thomas W. Reps,
Mooly Sagiv,
Reinhard Wilhelm:
Logical characterizations of heap abstractions.
ACM Trans. Comput. Log. 8(1): (2007) |
| 118 | | Jan Reineke,
Daniel Grund,
Christoph Berg,
Reinhard Wilhelm:
Timing predictability of cache replacement policies.
Real-Time Systems 37(2): 99-122 (2007) |
| 117 | | Bernd Becker,
Andreas Podelski,
Werner Damm,
Martin Fränzle,
Ernst-Rüdiger Olderog,
Reinhard Wilhelm:
SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme).
it - Information Technology 49(2): 118- (2007) |
| 2006 |
|---|
| 116 | | Serge Autexier,
Stephan Merz,
Leendert W. N. van der Torre,
Reinhard Wilhelm,
Pierre Wolper:
Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
| 115 | | Christian Ferdinand,
Reinhold Heckmann,
Hans-Jörg Wolff,
Christian Renz,
Oleg Parshin,
Reinhard Wilhelm:
Towards Model-Driven Development of Hard Real-Time Systems.
ASWSD 2006: 145-160 |
| 114 | | Philipp Lucas,
Nicolas Fritz,
Reinhard Wilhelm:
The CGiS Compiler-A Tool Demonstration.
CC 2006: 105-108 |
| 113 | | Jochen Eisinger,
Ilia Polian,
Bernd Becker,
Alexander Metzner,
Stephan Thesing,
Reinhard Wilhelm:
Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis.
DDECS 2006: 15-20 |
| 112 | | Philipp Lucas,
Nicolas Fritz,
Reinhard Wilhelm:
The Development of the Data-Parallel GPU Programming Language CGiS.
International Conference on Computational Science (4) 2006: 200-203 |
| 111 | | Werner Damm,
Alexander Metzner,
Friedrich Eisenbrand,
Gennady Shmonin,
Reinhard Wilhelm,
Sebastian Winkel:
Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality.
RTCSA 2006: 87-90 |
| 110 | | Jörg Bauer,
Reinhard Wilhelm:
Abstract Interpretation of Graph Transformation.
Simulation and Verification of Dynamic Systems 2006 |
| 109 | | Jörg Bauer,
Reinhard Wilhelm:
Analysis of Dynamic Communicating Systems by Hierarchical Abstraction.
Software Verification: Infinite-State Model Checking and Static Program Analysis 2006 |
| 108 | | Serge Autexier,
Stephan Merz,
Leendert W. N. van der Torre,
Reinhard Wilhelm,
Pierre Wolper:
Preface -- Workshop Trustworthy Software 2006.
Trustworthy Software 2006 |
| 107 | | Jan Reineke,
Björn Wachter,
Stephan Thesing,
Reinhard Wilhelm,
Ilia Polian,
Jochen Eisinger,
Bernd Becker:
A Definition and Classification of Timing Anomalies.
WCET 2006 |
| 106 | | Eran Yahav,
Thomas W. Reps,
Shmuel Sagiv,
Reinhard Wilhelm:
Verifying Temporal Heap Properties Specified via Evolution Logic.
Logic Journal of the IGPL 14(5): 755-783 (2006) |
| 2005 |
|---|
| 105 | | Noam Rinetzky,
Jörg Bauer,
Thomas W. Reps,
Shmuel Sagiv,
Reinhard Wilhelm:
A semantics for procedure local heaps and its abstractions.
POPL 2005: 296-309 |
| 104 | | Dierk Johannes,
Raimund Seidel,
Reinhard Wilhelm:
Algorithm animation using shape analysis: visualising abstract executions.
SOFTVIS 2005: 17-26 |
| 103 | | Nurit Dor,
John Field,
Denis Gopan,
Tal Lev-Ami,
Alexey Loginov,
Roman Manevich,
G. Ramalingam,
Thomas W. Reps,
Noam Rinetzky,
Mooly Sagiv,
Reinhard Wilhelm,
Eran Yahav,
Greta Yorsh:
Automatic Verification of Strongly Dynamic Software Systems.
VSTTE 2005: 82-92 |
| 102 | | Reinhard Wilhelm:
2005 WCET Preface - Message from the Workshop Chair.
WCET 2005 |
| 101 | | Paul Caspi,
Alberto L. Sangiovanni-Vincentelli,
Luís Almeida,
Albert Benveniste,
Bruno Bouyssounouse,
Giorgio C. Buttazzo,
Ivica Crnkovic,
Werner Damm,
Jakob Engblom,
Gerhard Fohler,
Marisol García-Valls,
Hermann Kopetz,
Yassine Lakhnech,
François Laroussinie,
Luciano Lavagno,
Giuseppe Lipari,
Florence Maraninchi,
Philipp Peti,
Juan Antonio de la Puente,
Norman Scaife,
Joseph Sifakis,
Robert de Simone,
Martin Törngren,
Paulo Veríssimo,
Andy J. Wellings,
Reinhard Wilhelm,
Tim A. C. Willemse,
Wang Yi:
Guidelines for a graduate curriculum on embedded software and systems.
ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005) |
| 2004 |
|---|
| 100 | | Lothar Thiele,
Reinhard Wilhelm:
Perspectives Workshop: Design of Systems with Predictable Behaviour, 16.-19. November 2003
IBFI, Schloss Dagstuhl, Germany 2004 |
| 99 | | Christian Ferdinand,
Reinhold Heckmann,
Reinhard Wilhelm:
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code.
ASWSD 2004: 1-14 |
| 98 | | Abdur Rakib,
Oleg Parshin,
Stephan Thesing,
Reinhard Wilhelm:
Component-Wise Instruction-Cache Behavior Prediction.
ATVA 2004: 211-229 |
| 97 | | Thomas W. Reps,
Shmuel Sagiv,
Reinhard Wilhelm:
Static Program Analysis via 3-Valued Logic.
CAV 2004: 15-30 |
| 96 | | Lothar Thiele,
Reinhard Wilhelm:
Abstracts Collection.
Design of Systems with Predictable Behaviour 2004 |
| 95 | | Lothar Thiele,
Reinhard Wilhelm:
Design for Time-Predictability.
Design of Systems with Predictable Behaviour 2004 |
| 94 | | Christoph Berg,
Jakob Engblom,
Reinhard Wilhelm:
Requirements for and Design of a Processor with Predictable Timing.
Design of Systems with Predictable Behaviour 2004 |
| 93 | | Reinhard Wilhelm:
Timing Analysis and Timing Predictability.
FMCO 2004: 317-323 |
| 92 | | Reinhard Wilhelm:
Formal Analysis of Processor Timing Models.
SPIN 2004: 1-4 |
| 91 | | Reinhard Wilhelm:
Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone.
VMCAI 2004: 309-322 |
| 90 | | Lothar Thiele,
Reinhard Wilhelm:
Design for Timing Predictability.
Real-Time Systems 28(2-3): 157-177 (2004) |
| 2003 |
|---|
| 89 | | Stephan Thesing,
Jean Souyris,
Reinhold Heckmann,
Famantanantsoa Randimbivololona,
Marc Langenbach,
Reinhard Wilhelm,
Christian Ferdinand:
An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software.
DSN 2003: 625- |
| 88 | | Eran Yahav,
Thomas W. Reps,
Shmuel Sagiv,
Reinhard Wilhelm:
Verifying Temporal Heap Properties Specified via Evolution Logic.
ESOP 2003: 204-222 |
| 87 | | Reinhard Wilhelm:
Run-Time Guarantees for Real-Time Systems.
FORMATS 2003: 166-167 |
| 86 | | Christian Ferdinand,
Daniel Kästner,
Florian Martin,
Marc Langenbach,
Martin Sicks,
Stephan Wilhelm,
Reinhold Heckmann,
Nicolas Fritz,
Stephan Thesing,
Frank Fontaine,
Henrik Theiling,
Michael Schmidt,
Alexander A. Evstiougov-Babaev,
Reinhard Wilhelm:
Validierung des Zeitverhaltens von kritischer Echtzeit-Software.
GI Jahrestagung (1) 2003: 335-339 |
| 85 | | Christian Ferdinand,
Reinhold Heckmann,
Henrik Theiling,
Reinhard Wilhelm:
Convenient User Annotations for a WCET Tool.
WCET 2003: 17-20 |
| 84 | | Reinhard Wilhelm,
Jakob Engblom,
Stephan Thesing,
David B. Whalley:
Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire.
WCET 2003: 39-43 |
| 83 | | Greta Yorsh,
Thomas W. Reps,
Shmuel Sagiv,
Reinhard Wilhelm:
Logical Characterizations of Heap Abstractions
CoRR cs.LO/0312014: (2003) |
| 82 | | Reinhold Heckmann,
Marc Langenbach,
Stephan Thesing,
Reinhard Wilhelm:
The influence of processor architecture on the design and the results of WCET tools.
Proceedings of the IEEE 91(7): 1038-1054 (2003) |
| 2002 |
|---|
| 81 | | Reinhard Wilhelm,
Thomas W. Reps,
Shmuel Sagiv:
Shape Analysis and Applications.
The Compiler Design Handbook 2002: 175-218 |
| 80 | | Shmuel Sagiv,
Thomas W. Reps,
Reinhard Wilhelm:
Parametric shape analysis via 3-valued logic.
ACM Trans. Program. Lang. Syst. 24(3): 217-298 (2002) |
| 2001 |
|---|
| 79 | | Reinhard Wilhelm:
Informatics - 10 Years Back. 10 Years Ahead.
Springer 2001 |
| 78 | | Reinhard Wilhelm:
Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings
Springer 2001 |
| 77 | | Christian Ferdinand,
Reinhold Heckmann,
Marc Langenbach,
Florian Martin,
Michael Schmidt,
Henrik Theiling,
Stephan Thesing,
Reinhard Wilhelm:
Reliable and Precise WCET Determination for a Real-Life Processor.
EMSOFT 2001: 469-485 |
| 76 | | Reinhard Wilhelm,
Tomasz Müldner,
Raimund Seidel:
Algorithm Explanation: Visualizing Abstract States and Invariants.
Software Visualization 2001: 381-394 |
| 2000 |
|---|
| 75 | | Reinhard Wilhelm,
Shmuel Sagiv,
Thomas W. Reps:
Shape Analysis.
CC 2000: 1-17 |
| 74 | | Tal Lev-Ami,
Thomas W. Reps,
Shmuel Sagiv,
Reinhard Wilhelm:
Putting static analysis to work for verification: A case study.
ISSTA 2000: 26-38 |
| 73 | | Beatrix Braune,
Reinhard Wilhelm:
Focusing in Algorithm Explanation.
IEEE Trans. Vis. Comput. Graph. 6(1): 1-7 (2000) |
| 72 | | Henrik Theiling,
Christian Ferdinand,
Reinhard Wilhelm:
Fast and Precise WCET Prediction by Separated Cache and Path Analyses.
Real-Time Systems 18(2/3): 157-179 (2000) |
| 1999 |
|---|
| 71 | | Christian Ferdinand,
Daniel Kästner,
Marc Langenbach,
Florian Martin,
Michael Schmidt,
Jörn Schneider,
Henrik Theiling,
Stephan Thesing,
Reinhard Wilhelm:
Run-Time Guarantees for Real-Time Systems - The USES Approach.
GI Jahrestagung 1999: 410-419 |
| 70 | | Shmuel Sagiv,
Thomas W. Reps,
Reinhard Wilhelm:
Parametric Shape Analysis via 3-Valued Logic.
POPL 1999: 105-118 |
| 69 | | Beatrix Braune,
Stephan Diehl,
Andreas Kerren,
Reinhard Wilhelm:
Animation of the Generation and Computation of Finite Automata for Learning Software.
WIA 1999: 39-47 |
| 68 | | Reinhard Wilhelm:
Timing Analysis and Validation for Real-Time Systems - Guest Editor's Introduction.
Real-Time Systems 17(2-3): 127-129 (1999) |
| 67 | | Christian Ferdinand,
Reinhard Wilhelm:
Efficient and Precise Cache Behavior Prediction for Real-Time Systems.
Real-Time Systems 17(2-3): 131-181 (1999) |
| 66 | | Christian Ferdinand,
Florian Martin,
Reinhard Wilhelm,
Martin Alt:
Cache Behavior Prediction by Abstract Interpretation.
Sci. Comput. Program. 35(2): 163-189 (1999) |
| 1998 |
|---|
| 65 | | Florian Martin,
Martin Alt,
Reinhard Wilhelm,
Christian Ferdinand:
Analysis of Loops.
CC 1998: 80-94 |
| 64 | | Christian Ferdinand,
Reinhard Wilhelm:
On Predicting Data Cache Behavior for Real-Time Systems.
LCTES 1998: 16-30 |
| 63 | | Shmuel Sagiv,
Thomas W. Reps,
Reinhard Wilhelm:
Solving Shape-Analysis Problems in Languages with Destructive Updating.
ACM Trans. Program. Lang. Syst. 20(1): 1-50 (1998) |
| 62 | | Shmuel Sagiv,
Nissim Francez,
Michael Rodeh,
Reinhard Wilhelm:
A Logic-Based Approach to Program Flow Analysis.
Acta Inf. 35(6): 457-504 (1998) |
| 1997 |
|---|
| 61 | | Reinhard Wilhelm,
Dieter Maurer:
Übersetzerbau - Theorie, Konstruktion, Generierung, 2. Auflage
Springer 1997 |
| 60 | | Reinhold Heckmann,
Reinhard Wilhelm:
A Functional Description of TEX's Formula Layout.
J. Funct. Program. 7(5): 451-485 (1997) |
| 59 | | Reinhard Wilhelm:
Program Analysis: A Toolmaker's Perspective.
SIGPLAN Notices 32(1): 120-121 (1997) |
| 1996 |
|---|
| 58 | | Reinhard Wilhelm:
Informatik: Grundlagen - Amwendungen - Perspektiven [Forum "Perspektiven der Informatik", Dagstuhl, November 1993]
Verlag C. H. Beck 1996 |
| 57 | | Reinhard Wilhelm,
Martin Alt,
Florian Martin,
Martin Raber:
Parallel Implementation of Functional Languages.
LOMAPS 1996: 279-295 |
| 56 | | Shmuel Sagiv,
Thomas W. Reps,
Reinhard Wilhelm:
Solving Shape-Analysis Problems in Languages with Destructive Updating.
POPL 1996: 16-31 |
| 55 | | Martin Alt,
Christian Ferdinand,
Florian Martin,
Reinhard Wilhelm:
Cache Behavior Prediction by Abstract Interpretation.
SAS 1996: 52-66 |
| 54 | | Reinhard Wilhelm:
Program Analysis - A Toolmaker's Perspective.
ACM Comput. Surv. 28(4es): 177 (1996) |
| 1995 |
|---|
| 53 | | Georg Sander,
Martin Alt,
Christian Ferdinand,
Reinhard Wilhelm:
CLaX - A Visualized Compiler.
Graph Drawing 1995: 459-462 |
| 52 | | Thomas Rauber,
Gudula Rünger,
Reinhard Wilhelm:
An application specific parallel programming paradigm.
HPCN Europe 1995: 735-740 |
| 1994 |
|---|
| 51 | | Yosi Ben-Asher,
Gudula Rünger,
Reinhard Wilhelm,
Assaf Schuster:
Implementing 2DT on a Multiprocessor.
CC 1994: 113-127 |
| 50 | | Christian Ferdinand,
Helmut Seidl,
Reinhard Wilhelm:
Tree Automata for Code Selection.
Acta Inf. 31(8): 741-760 (1994) |
| 49 | | Peter G. Bouillon,
Georg Sander,
Reinhard Wilhelm:
Lokale Optimierung ausnahmebehafteter Programme durch Spuroptimierung.
Inform., Forsch. Entwickl. 9(2): 72-81 (1994) |
| 1993 |
|---|
| 48 | | Yosi Ben-Asher,
Gudula Rünger,
Assaf Schuster,
Reinhard Wilhelm:
2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks.
PARLE 1993: 42-55 |
| 47 | | Martin Alt,
Georg Sander,
Reinhard Wilhelm:
Generation of Synchronization Code for Parallel Compilers.
PLILP 1993: 420-421 |
| 46 | | Martin Alt,
Christian Fecht,
Christian Ferdinand,
Reinhard Wilhelm:
Transformation Development: TrafoLa-H Subsystem.
PROSPECTRA Book 1993: 539-576 |
| 45 | | Reinhard Wilhelm:
Generische und generative Methoden.
Perspektiven der Informatik 1993: 84-85 |
| 44 | | Reinhard Wilhelm,
Hans Hagen:
Programmiersprachen.
Perspektiven der Informatik 1993: 86-90 |
| 43 | | Volker Claus,
Reinhard Wilhelm:
Einleitung.
Perspektiven der Informatik 1993: 9-12 |
| 42 | | Reinhard Wilhelm,
Otto Spaniol:
Parallele und verteilte Systeme.
Perspektiven der Informatik 1993: 90-94 |
| 1992 |
|---|
| 41 | | Reinhard Wilhelm,
Dieter Maurer:
Übersetzerbau - Theorie, Konstruktion, Generierung
Springer 1992 |
| 1991 |
|---|
| 40 | | Ulrich Möncke,
Reinhard Wilhelm:
Grammar Flow Analysis.
Attribute Grammars, Applications and Systems 1991: 151-186 |
| 39 | | Peter Lipps,
Ulrich Möncke,
Reinhard Wilhelm:
An Overview of the OPTRAN System.
Attribute Grammars, Applications and Systems 1991: 505-506 |
| 38 | | Reinhard Wilhelm:
Attributive Reevaluation in OPTRAN.
Attribute Grammars, Applications and Systems 1991: 507 |
| 37 | | Christian Ferdinand,
Helmut Seidl,
Reinhard Wilhelm:
Tree Automata for Code Selection.
Code Generation 1991: 30-50 |
| 36 | | Jürgen Börstler,
Ulrich Möncke,
Reinhard Wilhelm:
Table Compression for Tree Automata.
ACM Trans. Program. Lang. Syst. 13(3): 295-314 (1991) |
| 1990 |
|---|
| 35 | | Shmuel Sagiv,
Nissim Francez,
Michael Rodeh,
Reinhard Wilhelm:
A Logic-Based Approach to Data Flow Analysis Problem.
PLILP 1990: 277-292 |
| 34 | | Reinhard Wilhelm:
Tree Tranformations, Functional Languages, and Attribute Grammars.
WAGA 1990: 116-129 |
| 1989 |
|---|
| 33 | | Jacques Loeckx,
Kurt Mehlhorn,
Reinhard Wilhelm:
Foundations of Programming Languages
John Wiley 1989 |
| 32 | | Reinhard Wilhelm:
Übersetzer für imperative, funktionale und logische Programmiersprachen: Ein Vergleich (eingeladener Vortrag).
Software-Entwicklung 1989: 156-165 |
| 31 | | Winfried Thome,
Reinhard Wilhelm:
Simulating Circular Attribute Grammars Through Attribute Reevaluation.
Inf. Process. Lett. 33(2): 79-81 (1989) |
| 30 | | Dieter Maurer,
Reinhard Wilhelm:
MaMa - eine abstrakte Maschine zur Implementierung funktionaler Programmiersprachen.
Inform., Forsch. Entwickl. 4(2): 67-88 (1989) |
| 1988 |
|---|
| 29 | | Martin Raber,
Thomas Remmel,
Erwin Hoffmann,
Dieter Maurer,
Fritz Müller,
Hans-Georg Oberhauser,
Reinhard Wilhelm:
Complied Graph Reduction on a Processor Network.
ARCS 1988: 198-212 |
| 28 | | Beatrix Weisgerber,
Reinhard Wilhelm:
Two Tree Pattern Matchers for Code Selection.
CC 1988: 215-229 |
| 27 | | Peter Lipps,
Ulrich Möncke,
Reinhard Wilhelm:
OPTRAN - A Language/System for the Specification of Program Transformations: System Overview and Experiences.
CC 1988: 52-65 |
| 26 | | M. Baston,
H.-J. Bach,
A. Lucks-Baus,
Fritz Müller,
Reinhard Wilhelm:
Implementierung der funktionalen Programmiersprache HOPE mit Hilfe von Kombinatoren.
Innovative Informations-Infrastrukturen 1988: 114-131 |
| 25 | | Gerhard Becker,
Brigitte Kuhn,
Dieter Maurer,
Reinhard Wilhelm:
SiATEX - eine interaktive Arbeitsumgeubng für TEX.
Innovative Informations-Infrastrukturen 1988: 162-169 |
| 24 | | Peter Lipps,
Ulrich Möncke,
Matthias Olk,
Reinhard Wilhelm:
Attribute (Re)evaluation in OPTRAN.
Acta Inf. 26(3): 213-239 (1988) |
| 1987 |
|---|
| 23 | | F. Warren Burton,
Dieter Maurer,
Hans-Georg Oberhauser,
Reinhard Wilhelm:
A Space-Efficient Optimization of Call-by-Need.
IEEE Trans. Software Eng. 13(6): 636-642 (1987) |
| 1986 |
|---|
| 22 | | Bernard Robinet,
Reinhard Wilhelm:
ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings
Springer 1986 |
| 21 | | Jacques Loeckx,
Kurt Mehlhorn,
Reinhard Wilhelm:
Grundlagen der Programmiersprachen
Teubner 1986 |
| 1984 |
|---|
| 20 | | Ulrich Möncke,
Beatrix Weisgerber,
Reinhard Wilhelm:
How to Implement a System for Manipulation of Attributed Trees.
Fachtagung über Programmiersprachen 1984: 112-127 |
| 19 | | Reinhard Wilhelm:
Inverse Currying Transformation on Attribute Grammars.
POPL 1984: 140-147 |
| 1983 |
|---|
| 18 | | Reinhard Wilhelm:
Symbolische Programmausführung - Das aktuelle Schlagwort.
Informatik Spektrum 6(3): 170 (1983) |
| 1982 |
|---|
| 17 | | Reinhard Wilhelm:
LL- and LR-Attributed Grammars.
Fachtagung über Programmiersprachen 1982: 151-164 |
| 16 | | Reinhard Wilhelm:
Imperative, prädikative und funktionale Programmierung (Kurzfassung).
GI Jahrestagung 1982: 188-193 |
| 15 | | Harald Ganzinger,
Robert Giegerich,
Ulrich Möncke,
Reinhard Wilhelm:
A Truly Generative Semantics-Directed Compiler Generator.
SIGPLAN Symposium on Compiler Construction 1982: 172-184 |
| 14 | | Jan Messerschmidt,
Reinhard Wilhelm:
Constructors for Composed Objects.
Comput. Lang. 7(2): 53-59 (1982) |
| 1981 |
|---|
| 13 | | Robert Giegerich,
Ulrich Möncke,
Reinhard Wilhelm:
Invariance of Approximate Semantics with Respect to Program Transformations.
GI Jahrestagung 1981: 1-10 |
| 12 | | Reinhard Wilhelm:
A Modified Tree-to-Tree Correction Problem.
Inf. Process. Lett. 12(3): 127-132 (1981) |
| 1980 |
|---|
| 11 | | Reinhard Wilhelm:
GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings
Springer 1980 |
| 10 | | Reinhard Wilhelm:
CAD-Fachgespräch, GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings
Springer 1980 |
| 9 | | Ingrid Glasner,
Ulrich Möncke,
Reinhard Wilhelm:
OPTRAN, a Language for the Specification of Program Transformations.
Fachtagung über Programmiersprachen 1980: 125-142 |
| 1979 |
|---|
| 8 | | Reinhard Wilhelm:
Computation and Use of Data Flow Information in Optimizing Compilers.
Acta Inf. 12: 209-225 (1979) |
| 7 | | Reinhard Wilhelm:
Attributierte Grammatiken.
Informatik Spektrum 2(3): 123-130 (1979) |
| 1978 |
|---|
| 6 | | Robert Giegerich,
Reinhard Wilhelm:
Counter-One-Pass Features in One-Pass Compilation: A Formalization Using Attribute Grammars.
Inf. Process. Lett. 7(6): 279-284 (1978) |
| 1977 |
|---|
| 5 | | Robert Giegerich,
Reinhard Wilhelm:
Implementierbarkeit attributierter Grammatiken.
GI Jahrestagung 1977: 17-36 |
| 4 | | Harald Ganzinger,
Knut Ripken,
Reinhard Wilhelm:
Automatic Generation of Optimizing Multipass Compilers.
IFIP Congress 1977: 535-540 |
| 1976 |
|---|
| 3 | | Reinhard Wilhelm,
Knut Ripken,
Joachim Ciesinger,
Harald Ganzinger,
Walter Lahner,
R. Nollmann:
Design Evaluation of the Compiler Generating System MUGI.
ICSE 1976: 571-576 |
| 1975 |
|---|
| 2 | | Harald Ganzinger,
Reinhard Wilhelm:
Verschränkung von Compiler-Moduln.
GI Jahrestagung 1975: 654-665 |
| 1974 |
|---|
| 1 | | Reinhard Wilhelm:
Code-Optimierung Mittels Attributierter Transformationsgrammatiken.
GI Jahrestagung 1974: 257-266 |
