Dr. Peter J. Knaggs: Publications

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. 5^th 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.