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.
|Title of host publication||Bulletin of Centre for Informatics (Waseda University)|
|Publication status||Published - 1986 Mar|
ASJC Scopus subject areas