Travelled to:1 × Greece
1 × Japan
1 × Sweden
Collaborated with:∅ G.R.Bunce R.D.Ganetzky C.M.Olson J.D.Wilson
Talks about:program (4) schemata (2) correct (2) studi (2) logic (2) construct (1) contract (1) repres (1) prolog (1) extens (1)
Person: Timothy S. Gegg-Harrison
DBLP: Gegg-Harrison:Timothy_S=
Contributed to:
2003
1996
1995Wrote 4 papers:
- ITiCSE-2003-Gegg-HarrisonBGOW #contract #correctness
- Studying program correctness by constructing contracts (TSGH, GRB, RDG, CMO, JDW), pp. 129–133.
- ITiCSE-2003-Gegg-HarrisonBGOW03a #correctness
- Studying program correctness in ProVIDE (TSGH, GRB, RDG, CMO, JDW), p. 262.
- LOPSTR-1996-Gegg-Harrison #logic programming
- Extensible Logic Program Schemata (TSGH), pp. 256–274.
- ICLP-1995-Gegg-Harrison #logic programming #prolog #representation
- Representing Logic Program Schemata in λ-Prolog (TSGH), pp. 467–481.