Robert Glück

Ontology type: schema:Person     

Person Info





Publications in SciGraph latest 50 shown

  • 2018-08-22 Data Structures and Dynamic Memory Management in Reversible Languages in REVERSIBLE COMPUTATION
  • 2018-07 Reversible Computing: Foundations and Software in NEW GENERATION COMPUTING
  • 2017 Implementing Reversible Object-Oriented Language Features on Reversible Machines in REVERSIBLE COMPUTATION
  • 2016-08 On reversible Turing machines and their function universality in ACTA INFORMATICA
  • 2016 A Classical Propositional Logic for Reasoning About Reversible Logic Circuits in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION
  • 2016 A Practical Simulation Result for Two-Way Pushdown Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA
  • 2016 Maximally-Polyvariant Partial Evaluation in Polynomial Time in PERSPECTIVES OF SYSTEM INFORMATICS
  • 2013 Reversible Representation and Manipulation of Constructor Terms in the Heap in REVERSIBLE COMPUTATION
  • 2012 Bootstrapping Compiler Generators from Partial Evaluators in PERSPECTIVES OF SYSTEMS INFORMATICS
  • 2012 Towards a Reversible Functional Language in REVERSIBLE COMPUTATION
  • 2012 A Reversible Processor Architecture and Its Reversible Logic Design in REVERSIBLE COMPUTATION
  • 2011 A Simple and Efficient Universal Reversible Turing Machine in LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
  • 2010 An Experiment with the Fourth Futamura Projection in PERSPECTIVES OF SYSTEMS INFORMATICS
  • 2008-09 An investigation of Jones optimality and BTI-universal specializers in HIGHER-ORDER AND SYMBOLIC COMPUTATION
  • 2008 Reversible Flowchart Languages and the Structured Reversible Program Theorem in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2007 An Universal Resolving Algorithm for Inverse Computation of Lazy Languages in PERSPECTIVES OF SYSTEMS INFORMATICS
  • 2007 Reversible Machine Code and Its Abstract Processor Architecture in COMPUTER SCIENCE – THEORY AND APPLICATIONS
  • 2006 On Jones-Optimal Specializers: A Case Study Using Unmix in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2005 The Program Inverter LRinv and Its Structure in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
  • 2004 Derivation of Deterministic Inverse Programs Based on LR Parsing in FUNCTIONAL AND LOGIC PROGRAMMING
  • 2004 The Translation Power of the Futamura Projections in PERSPECTIVES OF SYSTEM INFORMATICS
  • 2003 A Program Inverter for a Functional Language with Equality and Constructors in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2002-03 Partial evaluation and program transformation day in NEW GENERATION COMPUTING
  • 2002-03 Program transformation system based on generalized partial computation in NEW GENERATION COMPUTING
  • 2002 On Deforesting Parameters of Accumulating Maps in LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2002 WSDFU: Program Transformation System Based on Generalized Partial Computation in THE ESSENCE OF COMPUTATION
  • 2002 Principles of Inverse Computation and the Universal Resolving Algorithm in THE ESSENCE OF COMPUTATION
  • 2001-09-28 Generative Programming and Active Libraries in GENERIC PROGRAMMING
  • 2001-03 Automatic generation of very efficient programs by Generalized Partial Computation in WUHAN UNIVERSITY JOURNAL OF NATURAL SCIENCES
  • 2001-03 Inverse computation and the Universal Resolving Algorithm in WUHAN UNIVERSITY JOURNAL OF NATURAL SCIENCES
  • 2001-03 Abstraction from constructors and functional constructors and their applications in WUHAN UNIVERSITY JOURNAL OF NATURAL SCIENCES
  • 2001-03 Loop peeling based on quasi-invariance/induction variables in WUHAN UNIVERSITY JOURNAL OF NATURAL SCIENCES
  • 2001 Relating Accumulative and Non-accumulative Functional Programs in REWRITING TECHNIQUES AND APPLICATIONS
  • 2000-11-24 Combining Semantics with Non-standard Interpreter Hierarchies in FST TCS 2000: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
  • 2000-01-28 Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All in PERSPECTIVES OF SYSTEM INFORMATICS
  • 2000-01-28 Abstraction-Based Partial Deduction for Solving Inverse Problems — A Transformational Approach to Software Verification in PERSPECTIVES OF SYSTEM INFORMATICS
  • 2000 The Universal Resolving Algorithm: Inverse Computation in a Functional Language in MATHEMATICS OF PROGRAM CONSTRUCTION
  • 1999-04-30 Generalization in Hierarchies of Online Program Specialization Systems in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 1999 Multi-Level Specialization in PARTIAL EVALUATION
  • 1999 Introduction to Supercompilation in PARTIAL EVALUATION
  • 1998-03 On the degeneration of program generators by program composition in NEW GENERATION COMPUTING
  • 1997-07 An Automatic Program Generator for Multi-Level Specialization in LISP AND SYMBOLIC COMPUTATION
  • 1996 Binding-time analysis applied to mathematical algorithms in SYSTEM MODELLING AND OPTIMIZATION
  • 1996 Specialization of Numerical Programs with the FSpec System in SOFTWARE ENGINEERING IM SCIENTIFIC COMPUTING
  • 1996 Controlling conjunctive partial deduction in PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS, AND PROGRAMS
  • 1996 Automatic Program Specialization by Partial Evaluation: an Introduction in SOFTWARE ENGINEERING IM SCIENTIFIC COMPUTING
  • 1996 Reasoning about hierarchies of online program specialization systems in PARTIAL EVALUATION
  • 1996 Fast binding-time analysis for multi-level specialization in PERSPECTIVES OF SYSTEM INFORMATICS
  • 1996 On the mechanics of metasystem hierarchies in program transformation in LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION
  • 1996 A roadmap to metacomputation by supercompilation in PARTIAL EVALUATION
  • Affiliations

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

        "@context": "", 
        "affiliation": [
            "affiliation": {
              "id": "", 
              "type": "Organization"
            "isCurrent": true, 
            "type": "OrganizationRole"
        "familyName": "Gl\u00fcck", 
        "givenName": "Robert", 
        "id": "sg:person.010754010217.31", 
        "identifier": {
          "name": "orcid_id", 
          "type": "PropertyValue", 
          "value": [
        "sameAs": [
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T13:35", 
        "sdLicense": "", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        "sdSource": "s3://com-uberresearch-data-dimensions-researchers-20181010/20181011/dim_researchers/base/researchers_1374.json", 
        "type": "Person"

    Download the RDF metadata as:  json-ld nt turtle xml License info


    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' ''

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' ''

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' ''

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' ''


    Preview window. Press ESC to close (or click here)