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 language | English |
|---|---|
| Title of host publication | Bulletin of Centre for Informatics (Waseda University) |
| Pages | 21-33, 115 |
| Volume | 3 |
| Publication status | Published - 1986 Mar |
| Externally published | Yes |
Fingerprint
ASJC Scopus subject areas
- Engineering(all)