Share and Export
Share and Export
Power, James F. and Sinclair, David (2001) A Formal Model of Forth Control Words in the Pi-Calculus. In: 6th International Workshop on Formal Methods for Industrial Critical Systems, 16-17 July 2001, Paris, France.
Preview
JP-Pi-calculus.pdf
Download (197kB) | Preview
Abstract
In this paper we develop a formal specification of aspects of the Forth programming language. We
describe the operation of the Forth compiler as it translates Forth control words, dealing in particular
with the interpretation of immediate words during compilation. Our goal here is to provide a basis
for the study of safety properties of embedded systems, many of which are constructed using Forth or
Forth-like languages. To this end we construct a model of the Forth compiler in the pi-calculus, and have
simulated its execution by animating this model using the Pict programming language.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Keywords: | Forth; operational semantics; picalculus; |
| Academic Unit: | Faculty of Science and Engineering > Computer Science |
| Item ID: | 6448 |
| Depositing User: | Dr. James Power |
| Date Deposited: | 07 Oct 2015 16:20 |
| Refereed: | Yes |
| URI: | https://mural.maynoothuniversity.ie/id/eprint/6448 |
| Use Licence: | This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here |
Repository Staff Only (login required)
- Item control page
Downloads
Downloads per month over past year
