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

Macros
Pattern matching
Software engineering
Computer programming languages
Specifications

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)

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 proceedingChapter

Fukazawa, Y 1986, SOFTWARE DEVELOPMENT ENVIRONMENT TO SUPPORT ABSTRACTION MECHANISMS. in Bulletin of Centre for Informatics (Waseda University). vol. 3, pp. 21-33, 115.
Fukazawa Y. SOFTWARE DEVELOPMENT ENVIRONMENT TO SUPPORT ABSTRACTION MECHANISMS. In Bulletin of Centre for Informatics (Waseda University). Vol. 3. 1986. p. 21-33, 115
Fukazawa, Yoshiaki. / SOFTWARE DEVELOPMENT ENVIRONMENT TO SUPPORT ABSTRACTION MECHANISMS. Bulletin of Centre for Informatics (Waseda University). Vol. 3 1986. pp. 21-33, 115
@inbook{41a7c40d2e4940cd895ea8c8671d8ce5,
title = "SOFTWARE DEVELOPMENT ENVIRONMENT TO SUPPORT ABSTRACTION MECHANISMS.",
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.",
author = "Yoshiaki Fukazawa",
year = "1986",
month = "3",
language = "English",
volume = "3",
pages = "21--33, 115",
booktitle = "Bulletin of Centre for Informatics (Waseda University)",

}

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 -