ASL program written in abstract sequential machine style and its compiler

Masahiro Ooashi, Kenichi Taniguchi, Yuji Sugiyama

    Research output: Contribution to journalArticlepeer-review


    The algebraic method as a formal approach in the design and development of the program has earned attention. The authors, in order to examine its usefulness, have defined the algebraic language ASL and constructed the ASL program developing system. But many problems concerning the compiler remain to be solved. The algebraic language ASL contains an abstract sequential machine style of description, and there exists a large number of problems that can be described in a natural way by this style. This paper proposes a method of constructing the compiler for the abstract sequential machine style program in the ASL program development system as well as of improving the execution efficiency of the object code. The usefulness of those methods are examined.

    Original languageEnglish
    Pages (from-to)1-11
    Number of pages11
    JournalSystems and Computers in Japan
    Issue number7
    Publication statusPublished - 1992


    • ASL language
    • Algebraic language
    • abstract sequential machine
    • compilers
    • programming systems

    ASJC Scopus subject areas

    • Theoretical Computer Science
    • Information Systems
    • Hardware and Architecture
    • Computational Theory and Mathematics


    Dive into the research topics of 'ASL program written in abstract sequential machine style and its compiler'. Together they form a unique fingerprint.

    Cite this