WorldCat Identities

Wilhelm, R. (Reinhard) 1946-

Overview
Works: 88 works in 337 publications in 4 languages and 4,692 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Honoree, Editor, dgs, Other, Translator, Contributor
Classifications: QA76.76.C65, 005.453
Publication Timeline
.
Most widely held works by R Wilhelm
Compiler design by Helmut Seidl( Book )

40 editions published between 1995 and 2016 in 3 languages and held by 379 WorldCat member libraries worldwide

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source and target languages. Additional descriptions of the interfaces to the operating system, programming system and programming environment, and to other compilers and libraries are often available. The book deals with the optimization phase of compilers. In this phase, programs are transformed in order to increase their efficiency. To preserve the semantics of the programs in these transformations, the compiler has to meet the associated applicability conditions. These are checked using static analysis of the programs. In this book the authors systematically describe the analysis and transformation of imperative and functional programs. In addition to a detailed description of important efficiency-improving transformations, the book offers a concise introduction to the necessary concepts and methods, namely to operational semantics, lattices, and fixed-point algorithms. This book is intended for students of computer science. The book is supported throughout with examples, exercises and program fragments
Informatics : 10 years back, 10 years ahead by R Wilhelm( Book )

24 editions published in 2001 in English and held by 317 WorldCat member libraries worldwide

A collection of papers on major issues in the field of computer science and information technology. Contributors assess the state of the field by looking back over the last decade of the 20th century, presenting important results, identifying open problems, and developing visions for the future
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 by R Wilhelm( Book )

18 editions published in 2001 in English and held by 254 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 10th International Conference on Compiler Construction, CC 2001, held in Genova, Italy in April 2001. The 22 revised full papers presented were carefully reviewed and selected from a total of 69 submissions. The papers are organized in topical sections on program analysis, program transformation, intraprocessor parallelism, parsing, memory hierarchy, profiling, and demos
ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 : proceedings by B Robinet( Book )

14 editions published in 1986 in English and German and held by 251 WorldCat member libraries worldwide

Übersetzerbau virtuelle Maschinen by R Wilhelm( )

8 editions published in 2007 in German and held by 141 WorldCat member libraries worldwide

Foundations of programming languages by Jacques Loeckx( Book )

9 editions published in 1988 in English and held by 134 WorldCat member libraries worldwide

Übersetzerbau : Theorie, Konstruktion, Generierung ; mit 70 Tabellen by R Wilhelm( Book )

7 editions published between 1992 and 1997 in German and held by 134 WorldCat member libraries worldwide

Software -- Programming Languages
Compiler design : virtual machines by R Wilhelm( Book )

15 editions published between 2010 and 2011 in English and held by 127 WorldCat member libraries worldwide

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source and target languages, while additional descriptions of the interfaces to the operating system, programming system and programming environment, and to other compilers and libraries are often available. The implementation of application systems directly in machine language is both difficult and error-prone, leading to programs that become obsolete as quickly as the computers for which they were developed. With the development of higher-level machine-independent programming languages came the need to offer compilers that were able to translate programs into machine language. Given this basic challenge, the different subtasks of compilation have been the subject of intensive research since the 1950s. This book is not intended to be a cookbook for compilers, instead the authors' presentation reflects the special characteristics of compiler design, especially the existence of precise specifications of the subtasks. They invest effort to understand these precisely and to provide adequate concepts for their systematic treatment. This is the first book in a multivolume set, and here the authors describe what a compiler does, i.e., what correspondence it establishes between a source and a target program. To achieve this the authors specify a suitable virtual machine (abstract machine) and exactly describe the compilation of programs of each source language into the language of the associated virtual machine for an imperative, functional, logic and object-oriented programming language. This book is intended for students of computer science. Knowledge of at least one imperative programming language is assumed, while for the chapters on the translation of functional and logic programming languages it would be helpful to know a modern functional language and Prolog. The book is supported throughout with examples, exercises and program fragments
Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday by Thomas W Reps( Book )

7 editions published in 2007 in English and held by 125 WorldCat member libraries worldwide

Reinhard Wilhelm's career in Computer Science spans more than a third of a century. During this time, he has made numerous research contributions to the areas of programming languages, compilers and compiler generators, static program analysis, program transformation, algorithm animation, and real-time systems; co-founded a company to transfer some of these ideas to industry; held the Chair for Programming Languages and Compiler Construction at Saarland University; and served since its inception in 1990 as the Scientific Director of the International Conference and Research Center for Computer Science at Schloss Dagstuhl. This Festschrift volume, published to honor Reinhard Wilhelm on his 60th Birthday on June 10, 2006, includes 15 refereed papers by leading researchers, his graduate students and research collaborators, as well as current and former colleagues, who all attended a celebratory symposium held at Schloss Dagstuhl, Germany. The articles of this volume thus serve also as the proceedings of the aforementioned Dagstuhl symposium
Grundlagen der Programmiersprachen by Jacques Loeckx( Book )

8 editions published in 1986 in German and held by 96 WorldCat member libraries worldwide

Les compilateurs : théorie, construction, génération by R Wilhelm( Book )

2 editions published in 1994 in French and held by 82 WorldCat member libraries worldwide

Übersetzerbau by Helmut Seidl( Book )

19 editions published between 2009 and 2012 in German and Undetermined and held by 79 WorldCat member libraries worldwide

Das Buch behandelt die Analysephase von Übersetzern für Programmiersprachen. Es beschreibt die lexikalische, die syntaktische und die semantische Analyse, Spezifikationsmechanismen für diese Aufgaben aus der Theorie der formalen Sprachen und automatische Erzeugungsverfahren aus der Theorie der Automaten. Vorgestellt wird eine konzeptionelle Übersetzerstruktur, also eine Aufteilung in eine Menge von Moduln, welche ein Eingabeprogramm in einer Folge von Schritten in ein Maschinenprogramm transformieren, und beschreibt die Schnittstellen zwischen den Moduln. Schließlich werden auch die Strukturen von realen Übersetzern skizziert. Das Buch enthält die notwendige Theorie und Hinweise zur Implementierung
Informatik : Grundlagen - Anwendungen - Perspektiven by R Wilhelm( Book )

5 editions published in 1996 in German and held by 60 WorldCat member libraries worldwide

CAD-Fachgespräch : GI-10. Jahrestagung, Saarbrücken, 30. September-2. Oktober 1980 by R Wilhelm( Book )

5 editions published in 1980 in German and held by 45 WorldCat member libraries worldwide

Grundlagen der Dokumentenverarbeitung by R Wilhelm( Book )

1 edition published in 1996 in German and held by 42 WorldCat member libraries worldwide

Baum-Transformatoren: ein Vergleich mit Baum-Transduktoren und Aspekte der Implementierung by R Wilhelm( Book )

8 editions published in 1977 in German and Undetermined and held by 26 WorldCat member libraries worldwide

Planung und Auslegung des Materialflusses flexibler Fertigungssysteme by R Wilhelm( Book )

5 editions published in 1979 in German and held by 25 WorldCat member libraries worldwide

GI-10. Jahrestagung, Saarbrücken 30. September-2. Oktober 1980 by R Wilhelm( Book )

7 editions published in 1980 in German and English and held by 24 WorldCat member libraries worldwide

Darstellung und Reaktionsverhalten von mesosubstituierten Dipyrrylmethanen und Pyrrolfarbstoffen : Untersuchungen des roten organischen Farbstoffes im Quincyte-Gestein by Roland Wilhelm( Book )

7 editions published in 1977 in German and Undetermined and held by 23 WorldCat member libraries worldwide

On confluence and semantic full abstraction of lambda calculus languages by Fritz Müller( )

1 edition published in 2016 in English and held by 16 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.46 for Compiler d ... to 0.94 for On conflue ...)

Compiler design
Alternative Names
Reinhard Wilhelm Duits informaticus

Reinhard Wilhelm German computer scientist

Reinhard Wilhelm informaticien allemand

Reinhard Wilhelm tysk datavetare

Reinhard Wilhelm tysk informatikar

Reinhard Wilhelm tysk informatiker

Wilhelm, R.

Wilhelm, R. 1946-

Wilhelm, Reinhard

Wilhelm, Reinhard 1946-

Wilhem, R. 1946-

راینهارد ویلهلم دانشمند علوم کامپیوتر آلمانی

Languages
English (126)

German (77)

French (2)

Italian (1)

Covers
Informatics : 10 years back, 10 years aheadCompiler 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 : proceedingsESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 : proceedingsÜbersetzerbau virtuelle MaschinenCompiler design : virtual machinesProgram analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthdayÜbersetzerbau