Timothy S. Gegg-Harrison

	2005
7		Timothy S. Gegg-Harrison: Constructing contracts: Making discrete mathematics relevant to beginning programmers. ACM Journal of Educational Resources in Computing 5(2): 1-28 (2005)
	2003
6		Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson: Studying program correctness by constructing contracts. ITiCSE 2003: 129-133
5		Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson: Studying program correctness in ProVIDE. ITiCSE 2003: 262
	2001
4		Timothy S. Gegg-Harrison: Ancient Egyptian numbers: a CS-complete example. SIGCSE 2001: 268-272
	1996
3		Timothy S. Gegg-Harrison: Extensible Logic Program Schemata. LOPSTR 1996: 256-274
	1995
2		Timothy S. Gegg-Harrison: Representing Logic Program Schemata in lambda-Prolog. ICLP 1995: 467-481
	1992
1		Timothy S. Gegg-Harrison: ADAPT: Automated Debugging in an Adaptive Prolog Tutor. Intelligent Tutoring Systems 1992: 343-350

Coauthor Index

1	Gary R. Bunce	[5] [6]
2	Rebecca D. Ganetzky	[5] [6]
3	Christina M. Olson	[5] [6]
4	Joshua D. Wilson	[5] [6]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page