Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Theodore S.
Last name:	Norvell
DBLP:	71/6988
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 9 of 9  

Select a publication
Show	Title	Venue	Rating	Date
	Theodore S. Norvell. A grainless semantics for the HARPO/L language.	Proceedings of the 22nd Canadian Conference on Electrical and Computer Engineering, CCECE 2009, 3-6 May 2009, Delta St. John's Hotel and Conference Centre, St. John's, Newfoundland, Canada 2009	(0)	2009
	Theodore S. Norvell, Michael Bruce-Lockhart. Rich content plug-ins for the teaching machine.	Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2009, Paris, France, July 6-9, 2009 2009	(0)	2009
	Michael Bruce-Lockhart, Pierluigi Crescenzi, Theodore S. Norvell. Integrating test generation functionality into the Teaching Machine environment.	Electr. Notes Theor. Comput. Sci. 2009, Volume 224	(0)	2009
	Michael Bruce-Lockhart, Theodore S. Norvell, Yiannis Cotronis. Program and Algorithm Visualization in Engineering and Physics.	Electr. Notes Theor. Comput. Sci. 2007, Volume 178	(0)	2007
	Michael Bruce-Lockhart, Theodore S. Norvell. Interactive embedded examples: a demonstration.	Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2006, Bologna, Italy, June 26-28, 2006 2006	(0)	2006
	Theodore S. Norvell. Predicative semantics of loops.	Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France 1997	(0)	1997
	Theodore S. Norvell. Induce-Statements and Induce-Expressions: Constructs for Inductive Programming.	Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15-17, 1993, Proceedings 1993	(0)	1993
	Theodore S. Norvell, Eric C. R. Hehner. Logical Specifications for Functional Programs.	Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings 1993	(0)	1992
	Isabel F. Cruz, Theodore S. Norvell. Aggregative Closure: An Extension of Transitive Closure.	Proceedings of the Fifth International Conference on Data Engineering, February 6-10, 1989, Los Angeles, California, USA 1989	(0)	1989

Your query returned 9 matches in the database.