LR Formalisms as Abstract Interpretations of Grammar Semantics
Summary :
The concept of LR(k) validity is represented as an abstract interpretation of a refinement of the derivation semantics of a given grammar. Also the algorithm of LR(k) parsing is represented as an abstract interpretation of the refined semantics. Such representations of LR formalisms provide us with more intuitive and easier means by which to understand LR parsing.
- Publication
- IEICE TRANSACTIONS on Information Vol.E89-D No.12 pp.2924-2932
- Publication Date
- 2006/12/01
- Publicized
- Online ISSN
- 1745-1361
- DOI
- 10.1093/ietisy/e89-d.12.2924
- Type of Manuscript
- PAPER
- Category
- Automata and Formal Language Theory
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Seunghwan O, Kwang-Moo CHOE, "LR Formalisms as Abstract Interpretations of Grammar Semantics" in IEICE TRANSACTIONS on Information,
vol. E89-D, no. 12, pp. 2924-2932, December 2006, doi: 10.1093/ietisy/e89-d.12.2924.
Abstract: The concept of LR(k) validity is represented as an abstract interpretation of a refinement of the derivation semantics of a given grammar. Also the algorithm of LR(k) parsing is represented as an abstract interpretation of the refined semantics. Such representations of LR formalisms provide us with more intuitive and easier means by which to understand LR parsing.
URL: https://global.ieice.org/en_transactions/information/10.1093/ietisy/e89-d.12.2924/_p
Copy
@ARTICLE{e89-d_12_2924,
author={Seunghwan O, Kwang-Moo CHOE, },
journal={IEICE TRANSACTIONS on Information},
title={LR Formalisms as Abstract Interpretations of Grammar Semantics},
year={2006},
volume={E89-D},
number={12},
pages={2924-2932},
abstract={The concept of LR(k) validity is represented as an abstract interpretation of a refinement of the derivation semantics of a given grammar. Also the algorithm of LR(k) parsing is represented as an abstract interpretation of the refined semantics. Such representations of LR formalisms provide us with more intuitive and easier means by which to understand LR parsing.},
keywords={},
doi={10.1093/ietisy/e89-d.12.2924},
ISSN={1745-1361},
month={December},}
Copy
TY - JOUR
TI - LR Formalisms as Abstract Interpretations of Grammar Semantics
T2 - IEICE TRANSACTIONS on Information
SP - 2924
EP - 2932
AU - Seunghwan O
AU - Kwang-Moo CHOE
PY - 2006
DO - 10.1093/ietisy/e89-d.12.2924
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E89-D
IS - 12
JA - IEICE TRANSACTIONS on Information
Y1 - December 2006
AB - The concept of LR(k) validity is represented as an abstract interpretation of a refinement of the derivation semantics of a given grammar. Also the algorithm of LR(k) parsing is represented as an abstract interpretation of the refined semantics. Such representations of LR formalisms provide us with more intuitive and easier means by which to understand LR parsing.
ER -
English
