Theodore S. Norvell
TitleCited byYear
Aggregative closure: An extension of transitive closure
IF Cruz, TS Norvell
[1989] Proceedings. Fifth International Conference on Data Engineering, 384-391, 1989
531989
Machine code programs are predicates too
TS Norvell
6th Refinement Workshop, 188-204, 1994
281994
Logical specifications for functional programs
TS Norvell, ECR Hehner
International Conference on Mathematics of Program Construction, 269-290, 1992
221992
A predicative theory of machine languages and its application to compiler correctness.
TS Norvell
171995
The JavaCC FAQ
TS Norvell
162004
Developing mental models of computer programming interactively via the web
MP Bruce-Lockhart, TS Norvell
2007 37th Annual Frontiers In Education Conference-Global Engineering …, 2007
152007
Lifting the hood of the computer: Program animation with the teaching machine
MP Bruce-Lockhart, TS Norvell
2000 Canadian Conference on Electrical and Computer Engineering. Conference …, 2000
132000
Program and algorithm visualization in engineering and physics
M Bruce-Lockhart, TS Norvell, Y Cotronis
Electronic Notes in Theoretical Computer Science 178, 111-119, 2007
102007
Teaching computer programming with program animation
T Norvell, M Bruce-Lockhart
Proc. 2004 Canadian Conference on Computer and Software Engineering …, 2004
92004
Lifting the hood of the computer: Program animation with the teaching machine
T Norvell, M Bruce-Lockhart
Proc. Canadian Electrical and Computer Engineering Conference (CCECE’00 …, 2000
92000
Compiling parallel applications to coarse-grained reconfigurable architectures
MAA Tuhin, TS Norvell
2008 Canadian Conference on Electrical and Computer Engineering, 001723-001728, 2008
72008
The javacc tutorial
TS Norvell
Memorial University, http://www. engr. mun. ca/~ theo/JavaCC-Tutorial/javacc …, 2007
72007
Mapping loops onto coarse-grained reconfigurable architectures using particle swarm optimization
R Gnanaolivu, TS Norvell, R Venkatesan
2010 International Conference of Soft Computing and Pattern Recognition, 145-151, 2010
62010
Integrating test generation functionality into the Teaching Machine environment
M Bruce-Lockhart, P Crescenzi, T Norvell
Electronic Notes in Theoretical Computer Science 224, 115-124, 2009
62009
Monads for the working Haskell programmer–a short tutorial
T Norvell
Disponıvel por WWW em http://www. engr. mun. ca/theo/Misc/haskell and monads …, 2002
62002
On trace specifications
TS Norvell
Communications Research Laboratory, McMaster University, 1995
51995
Adding test generation to the teaching machine
M Bruce-Lockhart, T Norvell, P Crescenzi
ACM Transactions on Computing Education (TOCE) 9 (2), 12, 2009
42009
An environment for proving and programming
TS Norvell, Z Ding
Newfoundland Electrical and Computer Engineering Conference, 1999
41999
Predicative semantics of loops
TS Norvell
Algorithmic Languages and Calculi, 415-440, 1997
41997
Interactive embedded examples: a demonstration
M Bruce-Lockhart, TS Norvell
ACM SIGCSE Bulletin 38 (3), 357-357, 2006
32006
The system can't perform the operation now. Try again later.
Articles 1–20