euroFORTH '96

The 12^th euroFORTH conference on the
FORTH programming language and FORTH processors

The euroFORTH '96 conference was hosted by the St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences (SPIIRAS), with assistance of DELTA t, at the Hotel Rus in St. Petersburg, 4-6 October, 1996. A copy of the conference preceedings are available from DELTA-t, are are to be published with the FORML '97 conference proceedings.

The conference organizers where Irina Prodnozova and Sergei Baranoff of SPIIRAS with assistance from Marina Kern from DELTA t (who took on the burden of administrating the financial side of things), and Peter Knaggs of Paisley University (for arranging the refereed section).

Presentations include:

• Formal Methods
  • An Event Calculus Model of the Forth Programming System, by Bill Stoddart (Refereed)
  • Formalization of Backtracking in Forth, by Michael L. Gassanenko (Refereed)
  • Enhancing the Capabilities of Backtracking, by Michael L. Gassanenko (Refereed)

• New Features and Implementations
  • TkForth: An interface to the Tk toolkit for ProForth for Windows, by Peter Knaggs and Robert M. Boyce (Refereed)
  • From natOOF to MOON: Bringing natural language programming to multiple platforms, by Markus Dahm
  • Meta-features of Forth, by Mikhail Kolodin
  • Back to Forth: A Version of Object Oriented Forth, by Anatole L. Medyntsev
  • Foolproof Number Parsing in Forth, by Michael Milendorf (Refereed)
  • RAFTS for Basic Blocks: A Progress Report on Forth Native Code Compilation, by Christian Pirker and M. Anton Ertl (Refereed)
  • DSSP and Forth: A Comparative Analysis, by M.N. Shumakov and S.A. Sidorov
  • The Invisible Language, by Wolf Wejgaard
  • Visual Forth: The Forth Integrated Development Environment, by Peter Knaggs (Refereed)

• Forth-based Tools and Applications
  • The SENDIT Project: A Forth in sheep's clothing, by Jonathan Lee
  • The Evolution of SENDIT into EPIC, by Stephen Selc
  • Applications of DSSP, by E.N. Ljakina, M.N. Shumakov and S.A. Sidorov
  • Far Eastern Forth, by Nick J. Nelson and Kiyoko Shermer
  • The use of Forth in industrial automation systems design, by V.A. Vigul, O.B. Glinkin and J.I. Titarenko

1. An Event Calculus Model of the Forth Programming System, by Bill Stoddart
2. Formalization of Backtracking in Forth, by Michael L. Gassanenko
3. Enhancing the Capabilities of Backtracking, by Michael L. Gassanenko
4. TkForth: An interface to the Tk toolkit for ProForth for Windows, by Peter Knaggs and Robert M. Boyce
5. Foolproof Number Parsing in Forth, by Michael Milendorf
6. RAFTS for Basic Blocks: A Progress Report on Forth Native Code Compilation, by Christian Pirker and M. Anton Ertl
7. Visual Forth: The Forth Integrated Development Environment, by Peter Knaggs

---

---