Share and Export
Share and Export
Power, James F. and Sinclair, David (2004) A Formal Model of Forth Control Words in the Pi-Calculus. Journal of Universal Computer Science, 10 (9). pp. 1272-1293. ISSN 0948-695X
Preview
JP-Forth-control-words.pdf
Download (218kB) | 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: | Article |
|---|---|
| Additional Information: | The definitive version of this article is available at DOI: 10.3217/jucs-010-09-1272 |
| Keywords: | Forth; operational semantics; picalculus; |
| Academic Unit: | Faculty of Science and Engineering > Computer Science |
| Item ID: | 6421 |
| Identification Number: | 10.3217/jucs-010-09-1272 |
| Depositing User: | Dr. James Power |
| Date Deposited: | 29 Sep 2015 14:00 |
| Journal or Publication Title: | Journal of Universal Computer Science |
| Refereed: | Yes |
| Related URLs: | |
| URI: | https://mural.maynoothuniversity.ie/id/eprint/6421 |
| 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
