Abstraction Mechanisms Supported by a Macro Processor

スポンサーリンク

概要

• 論文の詳細を見る

• A macro language and its processor are described for various kinds of abstraction techniques. It is very attractive to support the use of abstraction in program construction by means of a general-purpose macro processor with special facilities. For that purpose, a macro language MACLAM(A Macro Language for Abstraction Mechanisms) has been designed and implemented. Attention of this macro language is focused on data as well as on control. MACLAM supports three kinds of abstraction techniques: (1)procedural abstraction, (2)data abstraction, for which a user can define new data types, define associated operations and protect them from illegal operations, and (3)syntactic abstraction to develop powerful mode of expressions and to give a method for sequencing arbitrary actions. MACLAM offers a procedure and some special functions for these abstraction techniques. The purpose of this paper is to illustrate the utilities of abstractions supported by MACLAM and to provide an informal introduction to MACLAM through some examples.

• 一般社団法人情報処理学会の論文
• 1983-07-20

著者

• Fukazawa Yoshiaki

  Department Of Electrical Engineering School Of Science And Engineering Waseda University

• Fukazawa Yoshiaki

  Department Of Information Science Sagami Institute Of Technology

関連論文

• The Applicability of Formal Specification to Maintenance of Large-Scale Software
• Abstraction Mechanisms Supported by a Macro Processor
• An Inductive Inference Algorithm to Synthesize Prolog Programs from Specification by Example
• Influence of Organizational Change on Product Metrics and Defects

スポンサーリンク