Travelled to:1 × France
1 × USA
Collaborated with:∅
Talks about:construct (1) descript (1) special (1) program (1) automat (1) purpos (1) comput (1) proof (1)
Person: Chris Goad
DBLP: Goad:Chris
Contributed to:
19821980Wrote 2 papers:
- CADE-1982-Goad #automation #source code
- Automatic Construction of Special Purpose Programs (CG), pp. 194–208.
- CADE-1980-Goad #proving
- Proofs as Description of Computation (CG), pp. 39–52.