William Stoddart: Prospective values and Forth.
Channel: 4ther
Date: 2023-12-29

Prospective value semantics is suitable for describing backtracking programs. We describe how it applies to Forth. The presentation includes a new concept of function application, based on the idea that a function application might represent nothing, e.g 1/0.

39th EuroForth 2022 - Rome
https://euro.theforth.net/2023
http://www.euroforth.org/