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.












