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
Machine code programs are predicates too
TS Norvell
6th Refinement Workshop, 188-204, 1994
Logical specifications for functional programs
TS Norvell, ECR Hehner
International Conference on Mathematics of Program Construction, 269-290, 1992
A predicative theory of machine languages and its application to compiler correctness.
TS Norvell
The JavaCC FAQ
TS Norvell
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
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
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
Teaching computer programming with program animation
T Norvell, M Bruce-Lockhart
Proc. 2004 Canadian Conference on Computer and Software Engineering …, 2004
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
Compiling parallel applications to coarse-grained reconfigurable architectures
MAA Tuhin, TS Norvell
2008 Canadian Conference on Electrical and Computer Engineering, 001723-001728, 2008
The javacc tutorial
TS Norvell
Memorial University, http://www. engr. mun. ca/~ theo/JavaCC-Tutorial/javacc …, 2007
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
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
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
On trace specifications
TS Norvell
Communications Research Laboratory, McMaster University, 1995
Adding test generation to the teaching machine
M Bruce-Lockhart, T Norvell, P Crescenzi
ACM Transactions on Computing Education (TOCE) 9 (2), 12, 2009
An environment for proving and programming
TS Norvell, Z Ding
Newfoundland Electrical and Computer Engineering Conference, 1999
Predicative semantics of loops
TS Norvell
Algorithmic Languages and Calculi, 415-440, 1997
Interactive embedded examples: a demonstration
M Bruce-Lockhart, TS Norvell
ACM SIGCSE Bulletin 38 (3), 357-357, 2006
The system can't perform the operation now. Try again later.
Articles 1–20