Timothy S. Gegg-Harrison

According to our database, Timothy S. Gegg-Harrison authored at least 7 papers between 1992 and 2005.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2005

Constructing contracts: Making discrete mathematics relevant to beginning programmers.

Timothy S. Gegg-Harrison

ACM J. Educ. Resour. Comput., 2005

2003

Studying program correctness in ProVIDE.

Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson

Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2003

Studying program correctness by constructing contracts.

Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson

Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2003

2001

Ancient Egyptian numbers: a CS-complete example.

Timothy S. Gegg-Harrison

Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

1996

Extensible Logic Program Schemata.

Timothy S. Gegg-Harrison

Proceedings of the Logic Programming Synthesis and Transformation, 1996

1995

Representing Logic Program Schemata in lambda-Prolog.

Timothy S. Gegg-Harrison

Proceedings of the Logic Programming, 1995

1992

ADAPT: Automated Debugging in an Adaptive Prolog Tutor.

Timothy S. Gegg-Harrison

Proceedings of the Intelligent Tutoring Systems, Second International Conference, 1992