MURAL - Maynooth University Research Archive Library

    A Formal Model of Forth Control Words in the Pi-Calculus

    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

    Download (218kB) | Preview

    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...

    Add this article to your Mendeley library


    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:
    Depositing User: Dr. James Power
    Date Deposited: 29 Sep 2015 14:00
    Journal or Publication Title: Journal of Universal Computer Science
    Refereed: Yes
    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)

    View Item Item control page


    Downloads per month over past year

    Origin of downloads