Memorial University   THEODORE S. NORVELL MUN Engineering
  INFORMAL PUBLICATIONS  
   
 
 

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.

Click here to read it

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.

Click here to read it

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.

Click here to read it

Radical Algorithmics
Theodore S. Norvell
2005 updated 2010
Abstract:

Yet another square way to derive a square root algorithm.

Click here to read it.

The JavaCC Tutorial
Theodore S. Norvell
Summer 2002
Abstract:

A tutorial introduction to my favourite parser generator

Click here to read it.

Why Bombing Afghanistan is Wrong
Theodore S. Norvell
Oct 2001
Abstract:

An essay sent to a number of Canadian parliamentarians in October 2001.

Click here to read it.

A "New Normal" Glossary
Theodore S. Norvell
Oct 2001
Abstract:

A somewhat more cynical approach to current affairs

Click here to read it.

An Invitation to Fencing
Theodore S. Norvell
Sept 1994
Abstract: A nonacademic article on fencing.

Published in The International Teletimes, Sept, 1994.

Click here to read it.

Or my own copy

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.

Click here for PDF

C++ review
Theodore S. Norvell
1999--2011
Abstract: A review of the essentials of C++ for students entering the data structures course.

Click here for PDF

Monads for the Working Haskell Programmer
Theodore S. Norvell
Spring 1999
Abstract: An introduction to Monads for Haskell (and Gofer) programmers.

Click here to read it

Parsing Expressions by Recursive Descent
Theodore S. Norvell
Spring 1999
Abstract: A short introduction to 3 methods of parsing expressions

Click here to read it

MASc Computer Engineering
Theodore S. Norvell
Latest update 2017
Abstract: A short introduction to our course based masters in Computer Engineering.

Click here to read it

Academic Integrity
Theodore S. Norvell
2011--2014
Abstract: Academic integrity and how to avoid academic dishonesty

Click here for my slides.


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.

Click here to read it

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.

Click here for more

Effective Scientific Word
Theodore S. Norvell
Summer 2010
Abstract: Tips for using the best LaTeX editor there is.

PDF

MASc Computer Engineering
Theodore S. Norvell
Latest update 2017
Abstract: A short introduction to our course based masters in Computer Engineering.

Click here to read it

Academic Integrity
Theodore S. Norvell
2011--2014
Abstract: Academic integrity and how to avoid academic dishonesty

Click here for my slides.