The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robert Glück: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sergei M. Abramov, Robert Glück
    Principles of Inverse Computation in a Functional Language. [Citation Graph (0, 0)][DBLP]
    APLAS, 2000, pp:141-152 [Conf]
  2. Yoshihiko Futamura, Zenjiro Konishi, Robert Glück
    Automatic Generation of Very Efficient Programs by Generalized Partial Computation. [Citation Graph (0, 0)][DBLP]
    APLAS, 2000, pp:183-191 [Conf]
  3. Johan Gade, Robert Glück
    On Jones-Optimal Specializers: A Case Study Using Unmix. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:406-422 [Conf]
  4. Robert Glück
    Jones Optimality and the Strength of Program Specializers. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:103-116 [Conf]
  5. Robert Glück, Masahiko Kawabe
    An Automatic Program Inverter for Lisp: Potential and Limitations. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:230-245 [Conf]
  6. Robert Glück, Masahiko Kawabe
    A Program Inverter for a Functional Language with Equality and Constructors. [Citation Graph (0, 0)][DBLP]
    APLAS, 2003, pp:246-264 [Conf]
  7. Sergei M. Abramov, Robert Glück
    Principles of Inverse Computation and the Universal Resolving Algorithm. [Citation Graph (0, 0)][DBLP]
    The Essence of Computation, 2002, pp:269-295 [Conf]
  8. Yoshihiko Futamura, Zenjiro Konishi, Robert Glück
    WSDFU: Program Transformation System Based on Generalized Partial Computation. [Citation Graph (0, 0)][DBLP]
    The Essence of Computation, 2002, pp:358-378 [Conf]
  9. Krzysztof Czarnecki, Ulrich W. Eisenecker, Robert Glück, David Vandevoorde, Todd L. Veldhuizen
    Generative Programming and Active Libraries. [Citation Graph (0, 0)][DBLP]
    Generic Programming, 1998, pp:25-39 [Conf]
  10. Robert Glück, Morten Heine Sørensen
    A Roadmap to Metacomputation by Supercompilation. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:137-160 [Conf]
  11. John Hatcliff, Robert Glück
    Reasoning about Hierarchies of Online Program Specialization Systems. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:161-182 [Conf]
  12. Niels H. Christensen, Robert Glück, Søren Laursen
    Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1999, pp:80-92 [Conf]
  13. Robert Glück
    The Translation Power of the Futamura Projections. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2003, pp:133-147 [Conf]
  14. Robert Glück, Jesper Jørgensen
    Fast Binding-Time Analysis for Multi-Level Specialization. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1996, pp:261-272 [Conf]
  15. Robert Glück, Michael Leuschel
    Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1999, pp:93-100 [Conf]
  16. Morten Heine Sørensen, Robert Glück, Neil D. Jones
    Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:485-500 [Conf]
  17. Sergei M. Abramov, Robert Glück
    Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1998, pp:247-270 [Conf]
  18. Robert Glück, Masahiko Kawabe
    Derivation of Deterministic Inverse Programs Based on LR Parsing. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:291-306 [Conf]
  19. Sergei M. Abramov, Robert Glück
    Combining Semantics with Non-standard Interpreter Hierarchies. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2000, pp:201-213 [Conf]
  20. Robert Glück, Jesper Jørgensen
    Generating Optimizing Specializers. [Citation Graph (0, 0)][DBLP]
    ICCL, 1994, pp:183-194 [Conf]
  21. Robert Glück, Valentin F. Turchin
    Application of Metasystem Transition to Function Inversion and Transformation. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1990, pp:286-287 [Conf]
  22. Robert Glück
    On the Mechanics of Metasystem Hierarchies in Program Transformation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1995, pp:234-251 [Conf]
  23. Robert Glück, John Hatcliff, Jesper Jørgensen
    Generalization in Hierarchies of Online Program Specialization Systems. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1998, pp:179-198 [Conf]
  24. Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura
    On Deforesting Parameters of Accumulating Maps. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:46-56 [Conf]
  25. Sergei M. Abramov, Robert Glück
    The Universal Resolving Algorithm: Inverse Computation in a Functional Language. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:187-212 [Conf]
  26. Masahiko Kawabe, Robert Glück
    The Program Inverter LRinv and Its Structure. [Citation Graph (0, 0)][DBLP]
    PADL, 2005, pp:219-234 [Conf]
  27. Yoshihiko Futamura, Zenjiro Konishi, Robert Glück
    Automatic generation of efficient string matching algorithms by generalized partial computation. [Citation Graph (0, 0)][DBLP]
    ASIA-PEPM, 2002, pp:1-8 [Conf]
  28. Romana Baier, Robert Glück, Robert Zöchling
    Partial Evaluation of Numerical Programs in Fortran. [Citation Graph (0, 0)][DBLP]
    PEPM, 1994, pp:119-132 [Conf]
  29. Robert Glück
    Jones optimality, binding-time improvements, and the strength of program specializers. [Citation Graph (0, 0)][DBLP]
    ASIA-PEPM, 2002, pp:9-19 [Conf]
  30. Robert Glück
    Towards Multiple Self-Application. [Citation Graph (0, 0)][DBLP]
    PEPM, 1991, pp:309-320 [Conf]
  31. Robert Glück, Jesper Jørgensen
    Multi-Level Specialization (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Partial Evaluation, 1998, pp:326-337 [Conf]
  32. Robert Glück, Youhei Kawada, Takuya Hashimoto
    Transforming interpreters into inverse interpreters by partial evaluation. [Citation Graph (0, 0)][DBLP]
    PEPM, 2003, pp:10-19 [Conf]
  33. Tetsuo Yokoyama, Robert Glück
    A reversible programming language and its invertible self-interpreter. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:144-153 [Conf]
  34. Morten Heine Sørensen, Robert Glück
    Introduction to Supercompilation. [Citation Graph (0, 0)][DBLP]
    Partial Evaluation, 1998, pp:246-270 [Conf]
  35. Robert Glück, Jesper Jørgensen
    Efficient Multi-level Generating Extensions for Program Specialization [Citation Graph (0, 0)][DBLP]
    PLILP, 1995, pp:259-278 [Conf]
  36. Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen
    Controlling Conjunctive Partial Deduction. [Citation Graph (0, 0)][DBLP]
    PLILP, 1996, pp:152-166 [Conf]
  37. Robert Glück, Morten Heine Sørensen
    Partial Deduction and Driving are Equivalent. [Citation Graph (0, 0)][DBLP]
    PLILP, 1994, pp:165-181 [Conf]
  38. Armin Kühnemann, Robert Glück, Kazuhiko Kakehi
    Relating Accumulative and Non-accumulative Functional Programs. [Citation Graph (0, 0)][DBLP]
    RTA, 2001, pp:154-168 [Conf]
  39. Michael Sperber, Robert Glück, Peter Thiemann
    Bootstrapping higher-order program transformers from interpreters. [Citation Graph (0, 0)][DBLP]
    SAC, 1996, pp:408-413 [Conf]
  40. Robert Glück, Jesper Jørgensen
    Generating Transformers for Deforestation and Supercompilation. [Citation Graph (0, 0)][DBLP]
    SAS, 1994, pp:432-448 [Conf]
  41. Robert Glück, Andrei V. Klimov
    Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:112-123 [Conf]
  42. Morten Heine Sørensen, Robert Glück
    An Algorithm of Generalization in Positive Supercompilation. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:465-479 [Conf]
  43. Olivier Danvy, Robert Glück, Peter Thiemann
    1998 Symposium on Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3, pp:285-290 [Journal]
  44. Robert Glück, Masahiko Kawabe
    A Method for Automatic Program Inversion Based on LR(0) Parsing. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:66, n:4, pp:367-395 [Journal]
  45. Sergei M. Abramov, Robert Glück
    From Standard to Non-Standard Semantics by Semantics Modifiers. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2001, v:12, n:2, pp:171-211 [Journal]
  46. Robert Glück, Andrei V. Klimov
    A Regeneration Scheme for Generating Extensions. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1997, v:62, n:3, pp:127-134 [Journal]
  47. Robert Glück
    On the Generation of Specializers. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1994, v:4, n:4, pp:499-514 [Journal]
  48. Morten Heine Sørensen, Robert Glück, Neil D. Jones
    A Positive Supercompiler. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:6, pp:811-838 [Journal]
  49. Danny 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". [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 2000, v:43, n:3, pp:265- [Journal]
  50. Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen
    Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:41, n:2-3, pp:231-277 [Journal]
  51. Robert Glück, Jesper Jørgensen
    An Automatic Program Generator for Multi-Level Specialization. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1997, v:10, n:2, pp:113-158 [Journal]
  52. Yoshihiko Futamura, Zenjiro Konishi, Robert Glück
    Program Transformation System Based on Generalized Partial Computation. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 2001, v:20, n:1, pp:75-100 [Journal]
  53. Robert Glück, Yoshihiko Futamura
    Partial Evaluation and Program Transformation Day - Guest Editor's Preface. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 2001, v:20, n:1, pp:1-2 [Journal]
  54. Robert Glück, Andrei V. Klimov
    On the Degeneration of Program Generators by Program Composition. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1998, v:16, n:1, pp:75-96 [Journal]
  55. Sergei M. Abramov, Robert Glück
    The universal resolving algorithm and its correctness: inverse computation in a functional language. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:43, n:2-3, pp:193-229 [Journal]
  56. Robert Glück, Masahiko Kawabe
    Revisiting an automatic program inverter for Lisp. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2005, v:40, n:5, pp:8-17 [Journal]
  57. Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück
    Fortran Program Specialization. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1995, v:30, n:4, pp:61-70 [Journal]
  58. Niels H. Christensen, Robert Glück
    Offline partial evaluation can be as accurate as online partial evaluation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2004, v:26, n:1, pp:191-220 [Journal]
  59. Holger Bock Axelsen, Robert Glück, Tetsuo Yokoyama
    Reversible Machine Code and Its Abstract Processor Architecture. [Citation Graph (0, 0)][DBLP]
    CSR, 2007, pp:56-69 [Conf]
  60. Sergei M. Abramov, Robert Glück, Yuri A. Klimov
    An Universal Resolving Algorithm for Inverse Computation of Lazy Languages. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:27-40 [Conf]

  61. Principles of a reversible programming language. [Citation Graph (, )][DBLP]


  62. An Experiment with the Fourth Futamura Projection. [Citation Graph (, )][DBLP]


  63. Reversible Flowchart Languages and the Structured Reversible Program Theorem. [Citation Graph (, )][DBLP]


  64. Is there a fourth Futamura projection? [Citation Graph (, )][DBLP]


Search in 0.262secs, Finished in 0.264secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002