SOFTWARE DEVELOPMENT ENVIRONMENT TO SUPPORT ABSTRACTION MECHANISMS.

研究成果: Chapter

抄録

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.

元の言語English
ホスト出版物のタイトルBulletin of Centre for Informatics (Waseda University)
ページ21-33, 115
3
出版物ステータスPublished - 1986 3
外部発表Yes

Fingerprint

Macros
Pattern matching
Software engineering
Computer programming languages
Specifications

ASJC Scopus subject areas

  • Engineering(all)

これを引用

Fukazawa, Y. (1986). SOFTWARE DEVELOPMENT ENVIRONMENT TO SUPPORT ABSTRACTION MECHANISMS.Bulletin of Centre for Informatics (Waseda University) (巻 3, pp. 21-33, 115)

SOFTWARE DEVELOPMENT ENVIRONMENT TO SUPPORT ABSTRACTION MECHANISMS. / Fukazawa, Yoshiaki.

Bulletin of Centre for Informatics (Waseda University). 巻 3 1986. p. 21-33, 115.

研究成果: Chapter

Fukazawa, Y 1986, SOFTWARE DEVELOPMENT ENVIRONMENT TO SUPPORT ABSTRACTION MECHANISMS.Bulletin of Centre for Informatics (Waseda University). 巻. 3, pp. 21-33, 115.
Fukazawa Y. SOFTWARE DEVELOPMENT ENVIRONMENT TO SUPPORT ABSTRACTION MECHANISMS. : Bulletin of Centre for Informatics (Waseda University). 巻 3. 1986. p. 21-33, 115
Fukazawa, Yoshiaki. / SOFTWARE DEVELOPMENT ENVIRONMENT TO SUPPORT ABSTRACTION MECHANISMS. Bulletin of Centre for Informatics (Waseda University). 巻 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 -