Follow
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
551989
Machine code programs are predicates too
TS Norvell
6th Refinement Workshop: Proceedings of the 6th Refinement Workshop …, 1994
291994
Logical specifications for functional programs
TS Norvell, ECR Hehner
International Conference on Mathematics of Program Construction, 269-290, 1992
271992
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
222000
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
172007
The JavaCC FAQ
TS Norvell
162004
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
152010
A predicative theory of machine languages and its application to compiler correctness.
TS Norvell
151995
Compiling parallel applications to coarse-grained reconfigurable architectures
MAA Tuhin, TS Norvell
2008 Canadian Conference on Electrical and Computer Engineering, 001723-001728, 2008
132008
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
132007
Teaching computer programming with program animation
T Norvell, M Bruce-Lockhart
Proc. 2004 Canadian Conference on Computer and Software Engineering …, 2004
112004
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
102009
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
The javacc tutorial
TS Norvell
Memorial University, http://www. engr. mun. ca/~ theo/JavaCC-Tutorial/javacc …, 2007
82007
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
72002
On trace specifications
T 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
A grainless semantics for the HARPO/L language
TS Norvell
2009 Canadian Conference on Electrical and Computer Engineering, 810-814, 2009
42009
HARPO/L: A language for hardware/software codesign
TS Norvell, X Li, D Zhang, MAT Alam
Newfoundland Electrical and Computer Engineering Conference (NECEC), 2008
42008
An environment for proving and programming
TS Norvell, Z Ding
Newfoundland Electrical and Computer Engineering Conference, 1999
41999
The system can't perform the operation now. Try again later.
Articles 1–20