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.

  5. "A truly International Standard," presented at the euroFORTH '97 Conference.

  6. "Perl vs Forth," presented at the 1997 Rochester Forth Conference and at the euroFORTH '97 Conference.

  7. "Using IBM's NetBios from Forth," published in the Journal of Forth Application and Research.

  8. "Book Review: Scientific Forth, to appear in Scientific Programming.

  9. "Visual Forth: The Forth Integrated Development Environment," presented at the euroFORTH '96 Conference.

  10. "TkForth: An interface to the Tk toolkit for ProForth for Windows," with Robert M. Boyce, presented at the euroFORTH '96 Conference.

  11. "Literate Programming in Forth," presented at the euroFORTH '95 Conference.

  12. "Making Forth Professional," published in Forth Dimensions 17(4):22-23, November, 1995.

  13. "A Look at Forth's Academic Standing," presented at the euroFORTH '93 Conference.

  14. "Towards a Formal Forth," presented at the euroFORTH '93 Conference.

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

  16. "Practical and Theoretical Aspects of Forth Software Development," Ph.D. Thesis, University of Teesside, March, 1993.

  17. "The Event Calculus: Formal Specification of Real Time Systems by means of Diagrams and Z Schemas," with Bill Stoddart, presented at the 5th 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.

  20. "Formal Forth," with Bill Stoddart, presented at the 1991 Rochester Forth Conference.

  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.


[ Home ]