Theodore S. Norvell
Title
Cited by
Cited by
Year
Aggregative closure: An extension of transitive closure
IF Cruz, TS Norvell
[1989] Proceedings. Fifth International Conference on Data Engineering, 384-391, 1989
541989
Machine code programs are predicates too
TS Norvell
6th Refinement Workshop, 188-204, 1994
271994
Logical specifications for functional programs
TS Norvell, ECR Hehner
International Conference on Mathematics of Program Construction, 269-290, 1992
221992
The JavaCC FAQ
TS Norvell
162004
A predicative theory of machine languages and its application to compiler correctness.
TS Norvell
161995
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
142007
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
112007
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
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
82010
Compiling parallel applications to coarse-grained reconfigurable architectures
MAA Tuhin, TS Norvell
2008 Canadian Conference on Electrical and Computer Engineering, 001723-001728, 2008
82008
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
The javacc tutorial
TS Norvell
Memorial University, http://www. engr. mun. ca/~ theo/JavaCC-Tutorial/javacc …, 2007
62007
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), 1-14, 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
HARPO/L: A language for hardware/software codesign
TS Norvell, X Li, D Zhang, MAT Alam
Newfoundland Electrical and Computer Engineering Conference (NECEC), 2008
32008
The system can't perform the operation now. Try again later.
Articles 1–20