ASL program written in abstract sequential machine style and its compiler

Masahiro Ooashi, Kenichi Taniguchi, Yuji Sugiyama

Research output: Contribution to journalArticle

Abstract

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
Volume23
Issue number7
DOIs
Publication statusPublished - 1992

    Fingerprint

Keywords

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

ASJC Scopus subject areas

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

Cite this