| Aggregative closure: An extension of transitive closure IF Cruz, TS Norvell [1989] Proceedings. Fifth International Conference on Data Engineering, 384-391, 1989 | 56 | 1989 |
| Machine code programs are predicates too TS Norvell 6th Refinement Workshop: Proceedings of the 6th Refinement Workshop …, 1994 | 29 | 1994 |
| Logical specifications for functional programs TS Norvell, ECR Hehner International Conference on Mathematics of Program Construction, 269-290, 1992 | 28 | 1992 |
| 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 | 23 | 2000 |
| 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 | 17 | 2007 |
| The JavaCC FAQ TS Norvell | 16 | 2004 |
| 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 | 15 | 2010 |
| A predicative theory of machine languages and its application to compiler correctness. TS Norvell | 15 | 1995 |
| 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 | 14 | 2007 |
| Compiling parallel applications to coarse-grained reconfigurable architectures MAA Tuhin, TS Norvell 2008 Canadian Conference on Electrical and Computer Engineering, 001723-001728, 2008 | 13 | 2008 |
| Teaching computer programming with program animation T Norvell, M Bruce-Lockhart Proc. 2004 Canadian Conference on Computer and Software Engineering …, 2004 | 12 | 2004 |
| 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 | 10 | 2009 |
| 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 | 9 | 2000 |
| The javacc tutorial TS Norvell Memorial University, http://www. engr. mun. ca/~ theo/JavaCC-Tutorial/javacc …, 2007 | 8 | 2007 |
| 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 | 7 | 2002 |
| A grainless semantics for the HARPO/L language TS Norvell 2009 Canadian Conference on Electrical and Computer Engineering, 810-814, 2009 | 5 | 2009 |
| HARPO/L: A language for hardware/software codesign TS Norvell, X Li, D Zhang, MAT Alam Newfoundland Electrical and Computer Engineering Conference (NECEC), 2008 | 5 | 2008 |
| On trace specifications T Norvell Communications Research Laboratory, McMaster University, 1995 | 5 | 1995 |
| 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 | 4 | 2009 |
| An environment for proving and programming TS Norvell, Z Ding Newfoundland Electrical and Computer Engineering Conference, 1999 | 4 | 1999 |
Isabel F. CruzUniversity of Illinois at ChicagoE-mail confirmado em uic.edu
