Univ. of Copenhagen, Dept. of Computer Science

http://www.diku.dk/~glueck/

glueck@diku.dk

Author, editor, or reviewer of:

- A program inverter for a functional language with equality and constructors
- Derivation of deterministic inverse programs based on LR parsing
- Principles of inverse computation and the universal resolving algorithm
- The universal resolving algorithm and its correctness: Inverse computation in a functional language
- The universal resolving algorithm: Inverse computation in a functional language