Travelled to:
1 × Austria
Collaborated with:
∅
Talks about:
transform (1) abstract (1) program (1) context (1) certif (1) speed (1) logic (1) learn (1) code (1) awar (1)
Person: Jutta Eusterbrock
DBLP: Eusterbrock:Jutta
Contributed to:
Wrote 2 papers:
- ASE-2004-Eusterbrock #certification
- Context-Aware Code Certification (JE), pp. 358–361.
- LOPSTR-1991-Eusterbrock #abstraction #learning #logic programming #source code
- Speed-up Transformations of Logic Programs by Abstraction and Learning (JE), pp. 167–182.