Dr. Peter J. Knaggs: Publications



Note: Many of these papers are available on-line or for download.

2004–2010

Forth200x Standard (Ed)
Forth Standards Committee.
2008–2010

Data Driven Web Sites Using PHP and MySQL
with James Bailey, Melanie Coles and Stephen Welsh, University of Exeter.
An Introduction to Oracle: SQL*PLUS
with Melanie Coles University of Exeter.
2006–2008

Compiler Design with Flex and Bison in ANS C
Bournemouth University.
2007
Flint: Forth Lint
with Chris Kimber, poster presentation at euroForth '07 Conf.
2006–2007

Graduation Ceremony (pamphlet)
Bournemouth University.
2004–2007

Individual Project Handbook
Bournemouth University.
1998–2007

Wide Characters
with Stephen Pelc and Stephen Cold,
Proc. euroForth Conf.
Internationalisation: A User Perspective
with Stephen Pelc, Willem Botha and Nick Nelson,
Proc. euroFORTH Conf., and Proc. Forth Modification Laboratory.
2000–2006

Introduction to Unix
Bournemouth University.
1999–2006

Operating Systems (Lecture Notes)
Bournemouth University.
2002–2005

ARM Assembly Language Programming
Bournemouth University.
1999–2005

Systems Architecture (Lecture Nodes)
Bournemouth University.
2003–2004

Bournemouth University Software Toolkit (CD-Rom)
Bournemouth University.
1999–2002

68000 Assembly Language Programming
Bournemouth University.
1999
Literate Programming in Forth
Proc. Washington Forth Workshop.
Internationalisation: A User Perspective (sixth revision)
with Stephen Pelc, Willem Botha, and Nick Nelson,
Proc. euroFORTH '99 Conf.
1998
ANS Forth: Standardising a Moving Language
Proc. 1998 Rochester Forth Conf., Proc. euroFORTH '98 Conf., and Proc. 1998 Forth Modification Laboratory.
Issues of Software Localisation
Proc. 1998 Rochester Forth Conference and Proc. 1998 Forth Modification Laboratory
Typing Forth
Proc. 1998 Forth Modification Laboratory
1994–1998

Formal Methods (Course Notes)
University of Paisley
Guidelines for Student Project Reports
University of Paisley.
Z and CADiZ Reference Guide
University of Paisley.
1997
Using IBM's NetBios from Forth
Journal of Forth Application and Research (7)1
A Truly International Standard
Proc. euroForth '97 Conf.
Perl vs Forth
Proc. euroForth '97 Conf. and Proc. 1997 Rochester Forth Conf.
TkForth: Tcl/Tk scripting in ProForth for Windows
Proc. 1997 Rochester Forth Conf.
Book Review: Scientific Forth
Scientific Programming.
1996
Visual Forth: The Forth Integrated Development Environment
Proc. euroForth '96 Conf.
TkForth: An interface to the Tk toolkit for ProForth for Windows
with Robert M. Boyce,
Proc. euroForth '96 Conf and Computing and Information Systems (University of Paisley).
1995
Literate Programming in Forth
Proc. euroForth '95 Conf.
Making Forth Professional
Forth Dimensions, 17(4):22-23, Forth Interest Group.
1994
Practical and Theoretical Aspects of Forth Software Development
Ph.D. Thesis, University of Teesside.
Forth: An underview
article on Forth Research web site.
1993
Type Inference in Stack Based Languages
with W. Stoddart,
Formal Aspects of Computing, 5(4):289-98, Springer International & BCS.
Towards a Formal Forth
Proc. euroForth '93 Conf.
A Look at Forth's Academic Standing
Proc. euroForth '93 Conf.
Z Reference Guide
University of Paisley.
A guide to the LaTeX Document processing system for Unix
based on material by Leslie Lamport and Jon Warbrick,
University of Paisley.
1992
The Event Calculus (Formal Specification of Real Time Systems by means of Diagrams and Z Schemas)
with W. Stoddart
Proc. 5th International Conf. on Putting into practice methods and tools for information system design, University of Nantes, France.
Using LaTeX at Teesside Polytechnic
based on material by Jon Warbrick and Leslie Lamport
School of Computing and Mathematics, Teesside Polytechnic.
1991
Formal Forth
with W. Stoddart
Proc. 1991 Rochester Forth Conf. on Automated Instruments.
The Cell Type
with W. Stoddart
Proc. 1991 Rochester Forth Conf. on Automated Instruments.
Type inference in stack based languages
with W. Stoddart
Proc. euroFORML '91 Conf.
1990
Forth++ and the MACH-1 RTX-2000 board
with W. Stoddart
Proc. euroFORML '90 Conf.
The Forth++ 'C' interface
with W. Stoddart
Proc. euroFORML '90 Conf.
Vodenje Industrijskih Procesa (Primjena Programskog Jezika Forth)
with J. Franin, A. Maričić and W. Stoddart,
Institucija Stalnog Obrazovanja U Tehnologiji, Zagreb, Yugoslavia.

This was the documentation for a 3 day course entitled "Controlling Industrial Processes (with the programming language Forth)" given in Zagreb by the authors.

1989
Using RTL/2 on the Prime
Teesside Polytechnic Computer Centre.