Theodore S. Norvell
Title
Cited by
Cited by
Year
Aggregative closure: An extension of transitive closure
IF Cruz, TS Norvell
Proceedings. Fifth International Conference on Data Engineering, 384,385,386 …, 1989
531989
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
231992
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
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
142000
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
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
102010
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
82008
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
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
Predicative semantics of loops
TS Norvell
Algorithmic Languages and Calculi, 415-440, 1997
51997
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
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