SOFTWARE DEVELOPMENT ENVIRONMENT TO SUPPORT ABSTRACTION MECHANISMS.

Research output: Contribution to journalArticle

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
Pages (from-to)21-33, 115
JournalBulletin of Centre for Informatics (Waseda University)
Volume3
Publication statusPublished - 1986 Mar 1
Externally publishedYes

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'SOFTWARE DEVELOPMENT ENVIRONMENT TO SUPPORT ABSTRACTION MECHANISMS.'. Together they form a unique fingerprint.

  • Cite this