Concepedia

Robert Glück

RG

35

Publications

1.3K

Citations

20

H-Index

1991

Active since

Affiliations

University of Copenhagen(Current)

Waseda University

Nanzan University

Program Systems Institute of RAS

Robert Glück is an author at University of Copenhagen specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisAutomated ReasoningFormal VerificationSoftware AnalysisComputer EngineeringLanguageSoftware Engineering

Publications per year

1991–2022

35

Publications

35

A positive supercompiler

Morten Heine Sørensen, Robert Glück, N. D. Jones · Journal of Functional Programming · 1996 · 185 citations · Full text

Engineering, Computational Complexity, Partial Deduction +16

A reversible programming language and its invertible self-interpreter

Tetsuo Yokoyama, Robert Glück · 2007 · 139 citations

Abstract Machine, Programming Language Theory, Programming Language Janus +14

Principles of a reversible programming language

Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück · 2008 · 122 citations

Engineering, Computer Architecture, Software Analysis +17

Conjunctive partial deduction: foundations, control, algorithms, and experiments

Danny De Schreye, Robert Glück, Jesper Jørgensen et al. · The Journal of Logic Programming · 1999 · 100 citations · Full text

Engineering, Automated Reasoning, Propositional Logic +6

Reversible arithmetic logic unit for quantum arithmetic

Michael Kirkedal Thomsen, Robert Glück, Holger Bock Axelsen · Journal of Physics A Mathematical and Theoretical · 2010 · 95 citations

Rows per page

1–5 of 35