Travelled to:
1 × Italy
Collaborated with:
J.P.Gallagher
Talks about:
transform (1) program (1) definit (1) analysi (1) termin (1) system (1) base (1)
Person: J. Cook
DBLP: Cook:J=
Contributed to:
Wrote 1 papers:
- LOPSTR-1994-CookG #analysis #source code #termination
- A Transformation System for Definite Programs Based on Termination Analysis (JC, JPG), pp. 51–68.