Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Robert Glück" ( http://dblp.L3S.de/Authors/Robert_Glück )

URL (Homepage):  http://www.diku.dk/~glueck/  Author page on DBLP  Author page in RDF  Community of Robert Glück in ASPL-2

Publication years (Num. hits)
1990-1996 (20) 1997-2000 (17) 2001-2003 (15) 2004-2008 (15) 2009-2012 (12)
Publication types (Num. hits)
article(23) inproceedings(53) proceedings(3)
Venues (Conferences, Journals, ...)
Ershov Memorial Conference(7) APLAS(6) PEPM(6) Dagstuhl Seminar on Partial Ev...(3) LOPSTR(3) New Generation Comput.(3) PLILP(3) ASIA-PEPM(2) Inf. Process. Lett.(2) J. Funct. Program.(2) J. Log. Program.(2) Partial Evaluation(2) RC(2) Sci. Comput. Program.(2) SIGPLAN Notices(2) The Essence of Computation(2) More (+10 of total 46)
Authors
Robert Glück(79) Jesper Jørgensen(10) Holger Bock Axelsen(9) Morten Heine Sørensen(9) Sergei M. Abramov(8) Masahiko Kawabe(6) Tetsuo Yokoyama(6) Yoshihiko Futamura(6) Zenjiro Konishi(4) Andrei V. Klimov(3) Bern Martens(3) Michael Kirkedal Thomsen(3) Michael Leuschel(3) Peter Thiemann(3) Danny De Schreye(2) John Hatcliff(2) More (+10 of total 40)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29 occurrences of 22 keywords
Results
Found 79 publication records. Showing 79 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Robert Glück A self-applicable online partial evaluator for recursive flowchart languages. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück Optimizing Reversible Simulation of Injective Functions. Search on Bibsonomy Multiple-Valued Logic and Soft Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Robert Glück, Eelco Visser Special Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Robert Glück Bootstrapping Compiler Generators from Partial Evaluators. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Holger Bock Axelsen, Robert Glück A Simple and Efficient Universal Reversible Turing Machine. Search on Bibsonomy LATA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glück A Reversible Processor Architecture and Its Reversible Logic Design. Search on Bibsonomy RC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück Towards a Reversible Functional Language. Search on Bibsonomy RC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Holger Bock Axelsen, Robert Glück What Do Reversible Programs Compute? Search on Bibsonomy FOSSACS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Robert Glück Self-generating program specializers. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Holger Bock Axelsen, Robert Glück, Alexis De Vos, Michael Kirkedal Thomsen MicroPower: Towards Low-Power Microprocessors with Reversible Computing. Search on Bibsonomy ERCIM News The full citation details ... 2009 DBLP  BibTeX  RDF
1Robert Glück An Experiment with the Fourth Futamura Projection. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Robert Glück Is there a fourth Futamura projection? Search on Bibsonomy PEPM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Futamura projections, cogen approach, generator self-generation, domain-specific languages, bootstrapping, program specialization, compiler generators, self-application
1Michael Kirkedal Thomsen, Robert Glück Optimized reversible binary-coded decimal adders. Search on Bibsonomy Journal of Systems Architecture - Embedded Systems Design The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Robert Glück An investigation of Jones optimality and BTI-universal specializers. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück Reversible Flowchart Languages and the Structured Reversible Program Theorem. Search on Bibsonomy ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Robert Glück, Oege de Moor (eds.) Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008 Search on Bibsonomy PEPM The full citation details ... 2008 DBLP  BibTeX  RDF
1Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück Principles of a reversible programming language. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2008 DBLP  DOI  BibTeX  RDF backward determinism, inverse semantics, fast fourier transform, reversible computing, turing completeness
1Holger Bock Axelsen, Robert Glück, Tetsuo Yokoyama Reversible Machine Code and Its Abstract Processor Architecture. Search on Bibsonomy CSR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tetsuo Yokoyama, Robert Glück A reversible programming language and its invertible self-interpreter. Search on Bibsonomy PEPM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Janus, non-standard interpreter hierarchy, reversible programming language, self-interpreter, reversible computing, program inversion
1Sergei M. Abramov, Robert Glück, Yuri A. Klimov An Universal Resolving Algorithm for Inverse Computation of Lazy Languages. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Johan Gade, Robert Glück On Jones-Optimal Specializers: A Case Study Using Unmix. Search on Bibsonomy APLAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Robert Glück, Masahiko Kawabe Revisiting an automatic program inverter for Lisp. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2005 DBLP  DOI  BibTeX  RDF LISP
1Robert Glück, Masahiko Kawabe A Method for Automatic Program Inversion Based on LR(0) Parsing. Search on Bibsonomy Fundam. Inform. The full citation details ... 2005 DBLP  BibTeX  RDF
1Masahiko Kawabe, Robert Glück The Program Inverter LRinv and Its Structure. Search on Bibsonomy PADL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Robert Glück, Michael R. Lowry (eds.) Generative Programming and Component Engineering, 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings Search on Bibsonomy GPCE The full citation details ... 2005 DBLP  BibTeX  RDF
1Niels H. Christensen, Robert Glück Offline partial evaluation can be as accurate as online partial evaluation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF offline partial evaluation, online partial evaluation, generalization, metacomputation, program specialization, constant propagation, Binding-time analysis
1Robert Glück, Masahiko Kawabe Derivation of Deterministic Inverse Programs Based on LR Parsing. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Robert Glück The Translation Power of the Futamura Projections. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Robert Glück, Youhei Kawada, Takuya Hashimoto Transforming interpreters into inverse interpreters by partial evaluation. Search on Bibsonomy PEPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF binding-time improvements, inverse interpreter, program in-vision, semantics modifier, self-application
1Robert Glück, Masahiko Kawabe A Program Inverter for a Functional Language with Equality and Constructors. Search on Bibsonomy APLAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Sergei M. Abramov, Robert Glück The universal resolving algorithm and its correctness: inverse computation in a functional language. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Yoshihiko Futamura, Zenjiro Konishi, Robert Glück Automatic generation of efficient string matching algorithms by generalized partial computation. Search on Bibsonomy ASIA-PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Boyer-Moore pattern matcher, Knuth-Morris-Pratt pattern matcher, naive pattern matcher, automatic program generation
1Robert Glück Jones optimality, binding-time improvements, and the strength of program specializers. Search on Bibsonomy ASIA-PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Futamura projections, Jones optimality, binding-time improvements, interpretive approach, self-interpreters, specializer projections, metacomputation
1Robert Glück, Masahiko Kawabe An Automatic Program Inverter for Lisp: Potential and Limitations. Search on Bibsonomy APLAS The full citation details ... 2002 DBLP  BibTeX  RDF
1Sergei M. Abramov, Robert Glück Principles of Inverse Computation and the Universal Resolving Algorithm. Search on Bibsonomy The Essence of Computation The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Yoshihiko Futamura, Zenjiro Konishi, Robert Glück WSDFU: Program Transformation System Based on Generalized Partial Computation. Search on Bibsonomy The Essence of Computation The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Sergei M. Abramov, Robert Glück From Standard to Non-Standard Semantics by Semantics Modifiers. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2001 DBLP  BibTeX  RDF
1Robert Glück, Yoshihiko Futamura Partial Evaluation and Program Transformation Day - Guest Editor's Preface. Search on Bibsonomy New Generation Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Yoshihiko Futamura, Zenjiro Konishi, Robert Glück Program Transformation System Based on Generalized Partial Computation. Search on Bibsonomy New Generation Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Armin Kühnemann, Robert Glück, Kazuhiko Kakehi Relating Accumulative and Non-accumulative Functional Programs. Search on Bibsonomy RTA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Robert Glück Jones Optimality and the Strength of Program Specializers. Search on Bibsonomy APLAS The full citation details ... 2001 DBLP  BibTeX  RDF
1Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura On Deforesting Parameters of Accumulating Maps. Search on Bibsonomy LOPSTR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments". Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Yoshihiko Futamura, Zenjiro Konishi, Robert Glück Automatic Generation of Very Efficient Programs by Generalized Partial Computation. Search on Bibsonomy APLAS The full citation details ... 2000 DBLP  BibTeX  RDF
1Sergei M. Abramov, Robert Glück Principles of Inverse Computation in a Functional Language. Search on Bibsonomy APLAS The full citation details ... 2000 DBLP  BibTeX  RDF
1Sergei M. Abramov, Robert Glück The Universal Resolving Algorithm: Inverse Computation in a Functional Language. Search on Bibsonomy MPC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Sergei M. Abramov, Robert Glück Combining Semantics with Non-standard Interpreter Hierarchies. Search on Bibsonomy FSTTCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Robert Glück, Michael Leuschel Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Niels H. Christensen, Robert Glück, Søren Laursen Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Olivier Danvy, Robert Glück, Peter Thiemann 1998 Symposium on Partial Evaluation. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Robert Glück, Andrei V. Klimov On the Degeneration of Program Generators by Program Composition. Search on Bibsonomy New Generation Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Robert Glück, Jesper Jørgensen Multi-Level Specialization (Extended Abstract). Search on Bibsonomy Partial Evaluation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Morten Heine Sørensen, Robert Glück Introduction to Supercompilation. Search on Bibsonomy Partial Evaluation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Krzysztof Czarnecki, Ulrich W. Eisenecker, Robert Glück, David Vandevoorde, Todd L. Veldhuizen Generative Programming and Active Libraries. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Sergei M. Abramov, Robert Glück Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages. Search on Bibsonomy Fuji International Symposium on Functional and Logic Programming The full citation details ... 1998 DBLP  BibTeX  RDF
1Robert Glück, John Hatcliff, Jesper Jørgensen Generalization in Hierarchies of Online Program Specialization Systems. Search on Bibsonomy LOPSTR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Robert Glück, Andrei V. Klimov A Regeneration Scheme for Generating Extensions. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Robert Glück, Jesper Jørgensen An Automatic Program Generator for Multi-Level Specialization. Search on Bibsonomy Lisp and Symbolic Computation The full citation details ... 1997 DBLP  BibTeX  RDF
1Morten Heine Sørensen, Robert Glück, Neil D. Jones A Positive Supercompiler. Search on Bibsonomy J. Funct. Program. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Robert Glück, Jesper Jørgensen Fast Binding-Time Analysis for Multi-Level Specialization. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1996 DBLP  DOI  BibTeX  RDF generating extensions, program transformation, program analysis, partial evaluation, functional languages
1Michael Sperber, Robert Glück, Peter Thiemann Bootstrapping higher-order program transformers from interpreters. Search on Bibsonomy SAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF program transformation, partial evaluation, meta programming, higher-order programming
1Olivier Danvy, Robert Glück, Peter Thiemann (eds.) Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers Search on Bibsonomy Dagstuhl Seminar on Partial Evaluation The full citation details ... 1996 DBLP  BibTeX  RDF
1Robert Glück, Morten Heine Sørensen A Roadmap to Metacomputation by Supercompilation. Search on Bibsonomy Dagstuhl Seminar on Partial Evaluation The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1John Hatcliff, Robert Glück Reasoning about Hierarchies of Online Program Specialization Systems. Search on Bibsonomy Dagstuhl Seminar on Partial Evaluation The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen Controlling Conjunctive Partial Deduction. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück Fortran Program Specialization. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1995 DBLP  DOI  BibTeX  RDF FORTRAN
1Morten Heine Sørensen, Robert Glück An Algorithm of Generalization in Positive Supercompilation. Search on Bibsonomy ILPS The full citation details ... 1995 DBLP  BibTeX  RDF
1Robert Glück, Jesper Jørgensen Efficient Multi-level Generating Extensions for Program Specialization Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Robert Glück On the Mechanics of Metasystem Hierarchies in Program Transformation. Search on Bibsonomy LOPSTR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Robert Glück On the Generation of Specializers. Search on Bibsonomy J. Funct. Program. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Romana Baier, Robert Glück, Robert Zöchling Partial Evaluation of Numerical Programs in Fortran. Search on Bibsonomy PEPM The full citation details ... 1994 DBLP  BibTeX  RDF
1Robert Glück, Jesper Jørgensen Generating Optimizing Specializers. Search on Bibsonomy ICCL The full citation details ... 1994 DBLP  BibTeX  RDF
1Robert Glück, Morten Heine Sørensen Partial Deduction and Driving are Equivalent. Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Robert Glück, Jesper Jørgensen Generating Transformers for Deforestation and Supercompilation. Search on Bibsonomy SAS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Morten Heine Sørensen, Robert Glück, Neil D. Jones Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC. Search on Bibsonomy ESOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Robert Glück, Andrei V. Klimov Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree. Search on Bibsonomy WSA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Robert Glück Towards Multiple Self-Application. Search on Bibsonomy PEPM The full citation details ... 1991 DBLP  DOI  BibTeX  RDF LISP
1Robert Glück, Valentin F. Turchin Application of Metasystem Transition to Function Inversion and Transformation. Search on Bibsonomy ISSAC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #79 of 79 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.