Travelled to:
1 × Estonia
Collaborated with:
M.Hanus
Talks about:
function (1) program (1) model (1) logic (1) debug (1)
Person: Berthold Josephs
DBLP: Josephs:Berthold
Contributed to:
Wrote 1 papers:
- PLILP-1993-HanusJ #debugging #functional #logic programming #source code
- A Debugging Model for Functional Logic Programs (MH, BJ), pp. 28–43.