Writings
See also my blog Source Phile.
- From Precedence Climbing to Pratt Parsing
Theodore S. Norvell
Spring 2016 - Abstract: Precedence climbing is refactored to become Pratt parsing.
-
A Dijkstra's "Dissection" diversion
Theodore S. Norvell
2014 - Abstract: Playing around with similar triangles leads to a generalization of the Pythagorean theorem and a new proof of a very old theorem.
-
Proof Outline Logic
Theodore S. Norvell
2009 - Abstract: This is a tutorial on proof outline logic, which is an approach to proving concurrent programs correct.. I wrote it for my courses, but include it here, as it largely stands on its own. My course notes give additional examples and applications.
- Radical Algorithmics
Theodore S. Norvell
2005 updated 2010 - Abstract:
Yet another square way to derive a square root algorithm.
- The JavaCC Tutorial
Theodore S. Norvell
Summer 2002 - Abstract:
A tutorial introduction to my favourite parser generator
- Why Bombing Afghanistan is Wrong
Theodore S. Norvell
Oct 2001 - Abstract:
An essay sent to a number of Canadian parliamentarians in October 2001.
- A "New Normal" Glossary
Theodore S. Norvell
Oct 2001 - Abstract:
A somewhat more cynical approach to current affairs
- An Invitation to Fencing
Theodore S. Norvell
Sept 1994 - Abstract: A nonacademic article on fencing.
Published in The International Teletimes, Sept, 1994.
- Typesetting Algorithms in Scientific Word
Theodore S. Norvell
Oct 1996 - Abstract: How to use the Scientific Word / Scientific Workplace editor to
typeset algorithms and programs.
Click here to read it. This is a TeX file and is best viewed using Scientific Workplace, or Scientific Word. It can also be viewed less successfully with Scientific Notebook or the freeware Scientific Notebook Viewer.
- Programming With Style
Theodore S. Norvell
Spring 1999 - Abstract: A short essay on programming style.
- C++ review
Theodore S. Norvell
1999--2011 - Abstract: A review of the essentials of C++ for students entering the data structures course.
- Monads for the Working Haskell Programmer
Theodore S. Norvell
Spring 1999 - Abstract: An introduction to Monads for Haskell (and Gofer) programmers.
- Parsing Expressions by Recursive Descent
Theodore S. Norvell
Spring 1999 - Abstract: A short introduction to 3 methods of parsing expressions
- MASc Computer Engineering
Theodore S. Norvell
Latest update 2019 - Abstract: A short introduction to our course based masters in Computer Engineering.
- Academic Integrity
Theodore S. Norvell
2011--2019 - Abstract: Academic integrity and how to avoid academic dishonesty
Talks
See also my publications page, for talks associated with publications.
-
The Unified Modelling Language
Theodore S. Norvell
Fall 1999 - Abstract: Slides from a short talk I gave on UML to the local CIPS special interest group on software design.
- Structure and Patterns in Software Design and the Unified Modeling Language
Theodore S. Norvell
Summer 2001 - Abstract: Slides from a talk I gave on Structure in Software Engineering to the MUN Student branch of the IEEE.
- Effective Scientific Word
Theodore S. Norvell
Summer 2010 - Abstract: Tips for using the best LaTeX editor there is.
- MASc Computer Engineering
Theodore S. Norvell
Latest update 2017 - Abstract: A short introduction to our course based masters in Computer Engineering.
- Academic Integrity
Theodore S. Norvell
2011--2019 - Abstract: Academic integrity and how to avoid academic dishonesty