Program

Bad Vöslau, vom 08.-10. September 2017

Friday

Samstag

Sunday

Presentations

  1. A multi-tasking wordset for Standard Forth () - Andrew Haley
    Forth was a multi-tasking language from almost the very beginning. In this regard, it was something of a pioneer. However, none of this ever found its way into any of the standards. We can remedy this in a fairly simple way, by adding an optional multi-tasking wordset.
  2. Forth: A New Synthesis (45) - Andrew Read
    Forth Modification Laboratory (FORML)
  3. MINOS2 — a GUI for net2o () - Bernd Paysan
    MINOS2 is a very lightweight GUI, renders with OpenGL, and uses a TeX-style boxes&glue model to render widgets.
  4. Halting Misconcieved? (45 min) - Bill Stoddart
    A critical discussion of the halting program, reflecting the ideas of Eric Hehner.
  5. CoSy : Iverson's APL alive in Moore's Forth (Default) - Bob Armstrong
    Copied from http://cosy.com/y17/CoSyMidSummerMela2017.html : CoSy in 5 sentences : CoSy is a melding of brilliances of the 2 greatest Fathers of computer language I have had the privilege to know , Ken Iverson's APL and Charles Moore's Forth . Forth's philosophical goal is minimal vocabulary to create a dictionary capable of extending itself ; APL's is succinct notation for the expression of applied mathematics , that is : the combinatoric application of functions to data . Forth builds builds it dictionary on a chip instruction set in a single address space ; APLs' on dynamic array data , ( nouns ) , functions ( verbs ) , and operators ( adverbs including verbs as arguments ) . Forth's simple stack structure and read-it do-it syntax enhanced with a reference counted lists of lists vocabulary creates a language unique in flexibility with APL ( via K ) simplicity in the expression of complex processes -- all with a footprint of kilobytes rather than megabytes . CoSy continues the evolution of decades of notebook=diary=log=IDE environments built in open APL for artificial aid in the every day business of life .
  6. F (45) - Gerald Wodni
    New functions of the f package manager for theforth.net
  7. TBA () - M. Anton Ertl
  8. Dynamic Integration of Forth, GTK+ and Glade (Default) - Nick Nelson
    A joint paper by Nick Nelson and Rich Merrett (presented by Nick). We will show some of the techniques we have developed to tighten the integration of Forth, GTK+ and Glade. The aim as always is to minimise labour and line count whilst maximising readability and maintainability. We will show a couple of examples of real applications in current operation. Also a short talk "Progress on Forth Query Language (FQL)".
  9. No title (?) - Paul E. Bennett
    Not yet decided, but may be able to speak on a topic or open a discussion. One thing that may be interesting to hold a discussion about is the future of Forth and whether or not we could promote more Forth Specific Hardware Solutions, other than using FPGA's.
  10. A Formal Language Processor Implemented in Forth (25 min) - Sergey Baranov
    The structure of a Forth program is described which implements a language processor for an ALGOL-like programming language with its context-free component belonging to the class LL(1). It allows to check that a program in the given formal language is syntactically correct as well as to convert a correct program into a pseudo-code for a simple interpreter to interpret it and thus simulate the program behavior in a certain environment. The tool is assumed to run on a PC under MS Windows and is based on the system VFX Forth for Windows IA32 which implements the Forth standard Forth 200x of November 2014 (the so called Forth 2014).
  11. Special Words in Forth (default) - Stephen Pelc
    Over the last few years, I have become convinced that I do not understand the ANS Forth description of compilation and how this situation came about. The Forth 2012 description of compilation is the same as that of ANS. This paper describes the process of understanding that leads to being able to make a few proposals to make use of a new description of compilation. In essence, we are going to have to regard IMMEDIATE as a special case of our new situation. The model also allows us to build words that would previously have had to be state-smart.
  12. Controlling KUKA Robots using a Forth based DSL (45) - Ulrich Hoffmann
    KUKA robots are traditionally programmed using their own robot language, KRL, that allows for robot motion commands within different coordinate systems. The advance run feature pre-calculates and plans before program execution reaches a particular motion command and blends its movement for faster execution. KRL also process digital and analog in and outputs for gripper management. KRL however has a traditional time consuming edit-compile-go cycle which is only somewhat releaved by the ability to edit programs via a hand terminal. Forth's interactive nature can come to aid. Using a communication middleware Forth can control KUKA robots interactively, it's abstraction features allow to construct a suitable DSL.