Travelled to:1 × Canada
1 × Czech Republic
1 × Denmark
1 × The Netherlands
1 × United Kingdom
2 × France
2 × Germany
4 × USA
Collaborated with:G.Sauthoff S.Kurtz ∅ H.Ganzinger J.Reeder P.Steffen K.Schmal S.Janssen C.Brabrand A.Møller B.Bütow E.Ohlebusch S.Thesing U.Möncke R.Wilhelm
Talks about:program (5) grammar (4) generat (4) specif (4) languag (3) compil (3) dynam (3) tree (3) code (3) function (2)
Person: Robert Giegerich
DBLP: Giegerich:Robert
Contributed to:
20112014
2011
2007
2006
20061995
19941995
199019881984
19821982Wrote 14 papers:
- LDTA-2011-GiegerichS #analysis #compilation
- Yield grammar analysis in the Bellman’s GAP compiler (RG, GS), p. 7.
- LDTA-J-2011-SauthoffG #analysis #domain-specific language #optimisation #programming
- Yield grammar analysis and product optimization in a domain-specific language for dynamic programming (GS, RG), pp. 2–22.
- PPDP-2011-SauthoffJG #declarative #programming
- Bellman’s GAP: a declarative language for dynamic programming (GS, SJ, RG), pp. 29–40.
- CIAA-2007-BrabrandGM #ambiguity #context-free grammar
- Analyzing Ambiguity of Context-Free Grammars (CB, RG, AM), pp. 214–225.
- GPCE-2006-ReederG #programming #visual notation
- A graphical programming system for molecular motif search (JR, RG), pp. 131–140.
- SAC-2006-GiegerichS #challenge #compilation #domain-specific language #programming
- Challenges in the compilation of a domain specific language for dynamic programming (RG, PS), pp. 1603–1609.
- PLILP-1995-ButowGOT #semantics
- A New Strategy for Semantic Matching (BB, RG, EO, ST), pp. 81–96.
- ESOP-1994-GiegerichK #functional #paradigm #programming
- Suffix Trees in the Functional Programming Paradigm (RG, SK), pp. 225–240.
- ESOP-J-1994-GiegerichK95 #comparison #functional #imperative
- A Comparison of Imperative and Purely Functional Suffix Tree Constructions (RG, SK), pp. 187–218.
- PLDI-1990-Giegerich #code generation #on the #specification
- On the Structure of Verifiable Code Generator Specifications (RG), pp. 1–8.
- ESOP-1988-GiegerichS #parsing #pattern matching
- Code Selection Techniques: Pattern Matching, Tree Parsing, and Inversion of Derivors (RG, KS), pp. 247–268.
- SCC-1984-GanzingerG #attribute grammar
- Attribute coupled grammars (HG, RG), pp. 157–170.
- POPL-1982-Giegerich #automation #generative
- Automatic Generation of Machine Specific Code Optimizers (RG), pp. 75–81.
- SCC-1982-GanzingerGMW #compilation #generative #semantics
- A Truly Generative Semantics-Directed Compiler Generator (HG, RG, UM, RW), pp. 172–184.