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)
Cite this
SOFTWARE DEVELOPMENT ENVIRONMENT TO SUPPORT ABSTRACTION MECHANISMS. / Fukazawa, Yoshiaki.
Bulletin of Centre for Informatics (Waseda University). Vol. 3 1986. p. 21-33, 115.Research output: Chapter in Book/Report/Conference proceeding › Chapter
}
TY - CHAP
T1 - SOFTWARE DEVELOPMENT ENVIRONMENT TO SUPPORT ABSTRACTION MECHANISMS.
AU - Fukazawa, Yoshiaki
PY - 1986/3
Y1 - 1986/3
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0022682269&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0022682269&partnerID=8YFLogxK
M3 - Chapter
AN - SCOPUS:0022682269
VL - 3
SP - 21-33, 115
BT - Bulletin of Centre for Informatics (Waseda University)
ER -