Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Wilhelm, Reinhard"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A logic-based approach to program flow analysis
Mooly Sagiv
,
Nissim Francez
,
Michael Rodeh
,
Reinhard Wilhelm
Acta Informatica
35
(6), 1998, pp. 457-504
Cache behavior prediction by abstract interpretation
Martin Alt
,
Christian Ferdinand
,
Florian Martin
,
Reinhard Wilhelm
Mitteilungen - Gesellschaft für Informatik e.V., Parallel-Algorithmen und Rechnerstrukturen
(15), 1996, pp. 49-58
Tree automata for code selection
Christian Ferdinand
,
Helmut Seidl
,
Reinhard Wilhelm
Acta Informatica
31
, 1994, pp. 741-760
2DT-FP: An FP based programming language for efficient parallel programming of multiprocessor networks
Yosi Ben-Asher
,
Gudula Rünger
,
Assaf Schuster
,
Reinhard Wilhelm
Lecture Notes in Computer Science
694
, 1993, pp. 42-55
Baumautomaten zur Codeselektion
Christian Ferdinand
,
Helmut Seidl
,
Reinhard Wilhelm
Teubner-Texte zur Informatik
1
, 1992, pp. 121-144
Simulating circular attribute grammars through attribute reevaluation
Winfried Thome
,
Reinhard Wilhelm
Information Processing Letters
33
, 1989/90, pp. 79-81
Attribute (re)evaluation in OPTRAN
Peter Lipps
,
Ulrich Möncke
,
Matthias Olk
,
Reinhard Wilhelm
Acta Informatica
26
, 1988, pp. 213-239
A more descriptive view of text formatting
Jacob Gonczarowski
,
Reinhard Wilhelm
Technical Report (1986-4), 1986
Flow analysis in combinator implementation of functional programming languages
H.-G. Oberhauser
,
Reinhard Wilhelm
Technical Report (SFB 124 - C1), 1984, April
Inverse currying transformation on attribute grammars
Reinhard Wilhelm
misc