On-Line Papers
Dr. Peter J. Knaggs.

1. "Typing Forth," presented at the 1998 Forth Modification Laboratory.

2. "Internationalisation: A User Perspective," (with Stephen Pelc, Willem Botha, and Nick Nelson), presented at the euroFORTH '98 Conference, with a revised version being presented at the 1998 Forth Modification Laboratory.

3. "Issues of Software Localisation," presented at the 1998 Rochester Forth Conference, and at the 1998 Forth Modification Laboratory.

4. "ANS Forth: Standardising a Moving Language," presented at the 1998 Rochester Forth Conference, the euroFORTH '98 Conference, and at the 1998 Forth Modification Laboratory.
   • On-Line Version (10K)
   • PDF (116K)

5. "A truly International Standard," presented at the euroFORTH '97 Conference.
   • On-Line Version (22K)
   • PDF (134K)

6. "Perl vs Forth," presented at the 1997 Rochester Forth Conference and at the euroFORTH '97 Conference.
   • On-Line Version (16K)
   • PDF (150K)

7. "Using IBM's NetBios from Forth," published in the Journal of Forth Application and Research.
   • On-Line Version (62K)
   • PDF (222K)

8. "Book Review: Scientific Forth, to appear in Scientific Programming.
   • On-Line Version (10K)

9. "Visual Forth: The Forth Integrated Development Environment," presented at the euroFORTH '96 Conference.
   • On-Line Version (55K)

10. "TkForth: An interface to the Tk toolkit for ProForth for Windows," with Robert M. Boyce, presented at the euroFORTH '96 Conference.
    • On-Line Version (43K)

11. "Literate Programming in Forth," presented at the euroFORTH '95 Conference.
    • On-Line Version (32K)
    • PDF (149K)

12. "Making Forth Professional," published in Forth Dimensions 17(4):22-23, November, 1995.
    • On-Line Version (10K)

13. "A Look at Forth's Academic Standing," presented at the euroFORTH '93 Conference.
    • On-Line Version (22K)
    • PDF (126K)

14. "Towards a Formal Forth," presented at the euroFORTH '93 Conference.
    • On-Line Version (19K)
    • PDF (121K)

15. "Type Inference in Stack Based Languages," with W. Stoddart, published in Formal Aspects of Computing, 5(4):289-98, Springer International & BCS, 1993.
    • PDF (783K)

16. "Practical and Theoretical Aspects of Forth Software Development," Ph.D. Thesis, University of Teesside, March, 1993.
    • Download Page
    • PDF (900K)

17. "The Event Calculus: Formal Specification of Real Time Systems by means of Diagrams and Z Schemas," with Bill Stoddart, presented at the 5^th International Conference on putting into practice methods and tools for information system design, September 1992. Institut Universitaire de Technologie, Nantes, France.

18. "Type inference in stack based languages," with Bill Stoddart, presented at the euroFORML '91 Conference.

19. "The Cell Type," with Bill Stoddart, presented at the 1991 Rochester Forth Conference.
    • PDF (211K)

20. "Formal Forth," with Bill Stoddart, presented at the 1991 Rochester Forth Conference.
    • PDF (486K)

21. "The Forth++ 'C' interface," with Bill Stoddart, presented at the euroFORML '90 Conference.

22. "Forth++ and the MACH1 RTX-2000 board," with Bill Stoddart, presented at the euroFORML '90 Conference.