2026-03-09T18:27:25Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00059955 2025-01-20T06:34:08Z 5471:5525:5529

On Defining Denotational Semantics for Attribute Grammars On Defining Denotational Semantics for Attribute Grammars Masayuki, Takeda Takuya, Katayama Masayuki, Takeda Takuya, Katayama （IPSJ Best Paper Award、論文賞受賞） This paper presents a denotational semantics of attribute grammars and proposes a method of attribute evaluation based on it. The denotational semantics of an attribute grammar is defined by the least fix-point semantics among attributes assigned to the nodes of a derivation tree and it is realized by a set of recursive functions which perform the required evaluations. The proposed method for attribute evaluation is directly based on this denotational semantics and handles a wider class of attribute grammars including the well-defined ones. It has the following characteristics: (1)the evaluation functions can be derived directly from the description of a given attribute grammar without resorting to augmented dependency graphs (2)it is an output-oriented evaluation that is only attributes which are related to the required attributes are evaluated (3)it can be easily implemented by a LISP-like programming language. This paper presents a denotational semantics of attribute grammars and proposes a method of attribute evaluation based on it. The denotational semantics of an attribute grammar is defined by the least fix-point semantics among attributes assigned to the nodes of a derivation tree and it is realized by a set of recursive functions which perform the required evaluations. The proposed method for attribute evaluation is directly based on this denotational semantics and handles a wider class of attribute grammars including the well-defined ones. It has the following characteristics: (1)the evaluation functions can be derived directly from the description of a given attribute grammar without resorting to augmented dependency graphs, (2)it is an output-oriented evaluation, that is, only attributes which are related to the required attributes are evaluated, (3)it can be easily implemented by a LISP-like programming language. 情報処理学会 1982-03-31 eng journal article https://ipsj.ixsq.nii.ac.jp/records/59955 1882-6652 AA00700121 Journal of Information Processing 5 1 21 29 https://ipsj.ixsq.nii.ac.jp/record/59955/files/IPSJ-JIP0501004.pdf application/pdf 1.2 MB 1984-03-31