Travelled to:
1 × Germany
Collaborated with:
∅
Talks about:
translat (1) program (1) algebra (1) specif (1) prolog (1) compar (1) studi (1)
Person: Klaus Drosten
DBLP: Drosten:Klaus
Contributed to:
Wrote 1 papers:
- ALP-1988-Drosten #algebra #case study #comparative #prolog #source code #specification
- Translating Algebraic Specifications to Prolog Programs: A Comparative Study (KD), pp. 137–146.