2026-03-05T16:48:55Z 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. journal article 情報処理学会 1982-03-31 application/pdf Journal of Information Processing 1 5 21 29 1882-6652 AA00700121 https://ipsj.ixsq.nii.ac.jp/record/59955/files/IPSJ-JIP0501004.pdf eng