- Translating SMALL Programs to FPGA
- [Wadler and Blott 1989] P. Wadler and S. Blott, `How to make ad hoc Polymorphism less ad hoc', In Proceedings of 16th ACM Symposium on Principles of Programming Lan
- Logical Speci cations for Functional Programs? Theodore S. Norvell and Eric C.R. Hehner
- SMALL: A PROGRAMMING LANGUAGE FOR STATE MACHINE DESIGN Theodore S. Norvell
- Translating SMALL Programs to FPGA Configurations Ying Shen and Theodore S. Norvell
- Automating Regression Testing of Java Programs the JSnoopy Way
- InduceStatements and InduceExpressions: Constructs for Inductive Programming
- Machine Code Programs are Predicates Too
- Open XML Requirements Specifications, a Xylia based application
- SMALL: A PROGRAMMING LANGUAGE FOR STATE MACHINE DESIGN Theodore S. Norvell
- Translating SMALL Programs to FPGA Configurations Ying Shen and Theodore S. Norvell
- On Trace Specifications 1 On Trace Specifications
- Adding test generation to the Teaching Machine M. Bruce-Lockhart, P. Crescenzi, T. Norvell
- Predicative Semantics of Loops Theodore S. Norvell
- Logical Specifications for Functional Programs ? Theodore S. Norvell and Eric C.R. Hehner
- Lifting the Hood of the Computer:* Program Animation with the Teaching Machine
- Faster Searching by Elimination Theodore S. Norvell
- A GRAINLESS SEMANTICS FOR THE HARPO/L LANGUAGE Theodore S. Norvell
- Electronic Notes in Theoretical Computer Science PVW (2008) URL: http://www.elsevier.nl/locate/entcs/volumeNN.html 9 pages
- COMPILING PARALLEL APPLICATIONS TO COARSE-GRAINED RECONFIGURABLE ARCHITECTURES
- Formal Derivation of Dynamic Programming Leila Mofarah-Fathi and Theodore S. Norvell
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- So, You Want to Test Your Compiler? Theodore S. Norvell
- Predicative Semantics of Loops Theodore S. Norvell
- Machine Code Programs are Predicates Too
- Induce-Statements and Induce-Expressions: Constructs for Inductive Programming
- TEACHING COMPUTER PROGRAMMING WITH PROGRAM ANIMATION Theodore S. Norvell and Michael P. Bruce-Lockhart
- Mapping Applications to Coarse-Grain Reconfigurable Architectures
- On the Implementability of Behavioural Systems
- SMALL: A PROGRAMMING LANGUAGE FOR STATE MACHINE DESIGN Theodore S. Norvell
- Predicative Semantics of Loops Theodore S. Norvell
- Induce-Statements and Induce-Expressions: Constructs for Inductive Programming
- Proof by Programming Theodore S. Norvell *
- Session T1A 1-4244-1084-3/07/$25.00 2007 IEEE October 10 13, 2007, Milwaukee, WI
- Edits in Xylia Validity Preserving Editing of XML Documents
- The Xylia Toolkit: Editing XML with Java Jonathan Milley, Theodore S. Norvell, and Dennis K. Peters
