An Attribute Assignment View of Non-procedural Computing Systems
スポンサーリンク
概要
- 論文の詳細を見る
This paper gives an attribute assignment view of the interpretation and evaluation of non-procedural computing systems. We first show that a number of non-procedural computing systems such as Prolog, Wijngaarden grammars, and attribute grammars can be viewed as attribute assignment systems in spite of their different original motivations. An attribute assignment view is a natural common abstraction of these non-procedural computing systems. An attribute assignment system consists of a context-free grammar, a set of attributes for nonterminals, and a set of relations on attributes for productions. Attribute assignment systems allow us to describe both specifications and solutions of the problems relatively easily. We then show that our attribute assignment view enables us to have a new evaluation method in a restricted case where every attribute has finite domains. This evaluation method is based on set-theoretic operations. This evaluation method has a feature that the performance is fairly stable even in worst cases.
- 一般社団法人情報処理学会の論文
- 1988-11-25
著者
関連論文
- Two Methods for Eliminating Redundant Copy Operations from the Evaluation of Attribute Grammars
- Eliminating Unnecessary Items from the One-Pass Evaluation of Attribute Grammars
- Code Improvement Techniques in the Transformation of Attribute Grammars into Efficient Action Routines
- An Attribute Assignment View of Non-procedural Computing Systems
- A Fixed-Length Approach to the Design and Construction of Bypassed LR(k) Parsers
- An Exercise in Transforming Wijngaarden Grammars into Knuthian Grammars (Mathematical Methods in Software Science and Engineering : Second Conference)