SOFTWARE DEVELOPMENT ENVIRONMENT TO SUPPORT ABSTRACTION MECHANISMS.

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

This paper describes a total software development environment, whose main components are an abstraction oriented macro processor, a retargetable code generator, and a symbolic execution debugger. In order to add abstraction facilities to existing programming languages, MACLAM (A Macro Language for Abstraction Mechanisms) has been designed and implemented. MACLAM is a general-purpose and syntax-directed macro language that focuses on data as well as on control. The main feature of this retargetable code generator is to utilize various kinds of addressing modes of a target machine positively. The code generation algorithm is based on two-level pattern matching: operation-code pattern matching and addressing-mode pattern matching. In order to make symbolic execution more practical, this system has paid attention to the path specification and loop management.

Original languageEnglish
Title of host publicationBulletin of Centre for Informatics (Waseda University)
Pages21-33, 115
Volume3
Publication statusPublished - 1986 Mar
Externally publishedYes

    Fingerprint

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Fukazawa, Y. (1986). SOFTWARE DEVELOPMENT ENVIRONMENT TO SUPPORT ABSTRACTION MECHANISMS. In Bulletin of Centre for Informatics (Waseda University) (Vol. 3, pp. 21-33, 115)