|
Search the dblp DataBase
Timothy S. Gegg-Harrison:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Timothy S. Gegg-Harrison
Representing Logic Program Schemata in lambda-Prolog. [Citation Graph (0, 0)][DBLP] ICLP, 1995, pp:467-481 [Conf]
- Timothy S. Gegg-Harrison
ADAPT: Automated Debugging in an Adaptive Prolog Tutor. [Citation Graph (0, 0)][DBLP] Intelligent Tutoring Systems, 1992, pp:343-350 [Conf]
- Timothy S. Gegg-Harrison
Extensible Logic Program Schemata. [Citation Graph (0, 0)][DBLP] LOPSTR, 1996, pp:256-274 [Conf]
- Timothy S. Gegg-Harrison
Ancient Egyptian numbers: a CS-complete example. [Citation Graph (0, 0)][DBLP] SIGCSE, 2001, pp:268-272 [Conf]
- Timothy S. Gegg-Harrison
Constructing contracts: Making discrete mathematics relevant to beginning programmers. [Citation Graph (0, 0)][DBLP] ACM Journal of Educational Resources in Computing, 2005, v:5, n:2, pp:1-28 [Journal]
Studying program correctness in ProVIDE. [Citation Graph (, )][DBLP]
Studying program correctness by constructing contracts. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|