Theodore S. Norvell

	2009
9		Theodore S. Norvell: A grainless semantics for the HARPO/L language. CCECE 2009: 810-814
8		Theodore S. Norvell, Michael Bruce-Lockhart: Rich content plug-ins for the teaching machine. ITiCSE 2009: 348
7		Michael Bruce-Lockhart, Pilu Crescenzi, Theodore S. Norvell: Integrating test generation functionality into the Teaching Machine environment. Electr. Notes Theor. Comput. Sci. 224: 115-124 (2009)
	2007
6		Michael Bruce-Lockhart, Theodore S. Norvell, Yiannis Cotronis: Program and Algorithm Visualization in Engineering and Physics. Electr. Notes Theor. Comput. Sci. 178: 111-119 (2007)
	2006
5		Michael Bruce-Lockhart, Theodore S. Norvell: Interactive embedded examples: a demonstration. ITiCSE 2006: 357
	1997
4		Theodore S. Norvell: Predicative semantics of loops. Algorithmic Languages and Calculi 1997: 415-437
	1993
3		Theodore S. Norvell: Induce-Statements and Induce-Expressions: Constructs for Inductive Programming. FSTTCS 1993: 294-305
	1992
2		Theodore S. Norvell, Eric C. R. Hehner: Logical Specifications for Functional Programs. MPC 1992: 269-290
	1989
1		Isabel F. Cruz, Theodore S. Norvell: Aggregative Closure: An Extension of Transitive Closure. ICDE 1989: 384-391

Coauthor Index

1	Michael Bruce-Lockhart	[5] [6] [7] [8]
2	Yiannis Cotronis	[6]
3	Pierluigi Crescenzi (Pilu Crescenzi)	[7]
4	Isabel F. Cruz	[1]
5	Eric C. R. Hehner	[2]

Colors in the list of coauthors