Travelled to:1 × Belgium
1 × Spain
Collaborated with:J.A.Goguen ∅
Talks about:provabl (1) program (1) correct (1) toward (1) system (1) compil (1) logic (1) equat (1) ucg (1) obj (1)
Person: Lutz H. Hamel
DBLP: Hamel:Lutz_H=
Contributed to:
19941992Wrote 2 papers:
- PLILP-1994-HamelG #compilation #towards
- Towards a Provably Correct Compiler for OBJ3 (LHH, JAG), pp. 132–146.
- PLILP-1992-Hamel #equation #logic programming #named
- UCG-E: An Equational Logic Programming System (LHH), pp. 473–474.