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:
Wrote 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.