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


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