![]() | ![]() |
2009 | ||
---|---|---|
7 | EE | 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 | EE | 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 | EE | 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 | EE | Isabel F. Cruz, Theodore S. Norvell: Aggregative Closure: An Extension of Transitive Closure. ICDE 1989: 384-391 |
1 | Michael Bruce-Lockhart | [5] [6] [7] |
2 | Yiannis Cotronis | [6] |
3 | Pierluigi Crescenzi (Pilu Crescenzi) | [7] |
4 | Isabel F. Cruz | [1] |
5 | Eric C. R. Hehner | [2] |