Dr. Peter J. Knaggs: Publications

Note: Most of these papers are available on-line or for download.
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.
Wide Characters
with Stephen Pelc and Stephen Cold,
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
Internationalisation: A User Perspective
with Stephen Pelc, Willem Botha, and Nick Nelson,
Proc. euroFORTH '98 Conf., revised for Proc. 1998 Forth Modification Laboratory.
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).
The Preparation and Layout of Student Project Reports
University of Paisley print shop.
1995
Literate Programming in Forth
Proc. euroForth '95 Conf.
Z and CADiZ Reference Guide
University of Paisley print shop.
Making Forth Professional
Forth Dimensions, 17(4):22-23, Forth Interest Group.
1993
Practical and Theoretical Aspects of Forth Software Development
Ph.D. Thesis, University of Teesside.
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 print shop.
A guide to the LaTeX Document processing system for Unix
based on material by Leslie Lamport and Jon Warbrick,
University of Paisley print shop.
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.
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. Maricic 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.