LR formalisms as abstract interpretations of grammar semantics
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | O, S | ko |
| dc.contributor.author | Choe, Kwang-Moo | ko |
| dc.date.accessioned | 2013-03-07T09:39:12Z | - |
| dc.date.available | 2013-03-07T09:39:12Z | - |
| dc.date.created | 2012-02-06 | - |
| dc.date.created | 2012-02-06 | - |
| dc.date.issued | 2006-12 | - |
| dc.identifier.citation | IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E89D, no.12, pp.2924 - 2932 | - |
| dc.identifier.issn | 0916-8532 | - |
| dc.identifier.uri | http://hdl.handle.net/10203/89893 | - |
| dc.description.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. | - |
| dc.language | English | - |
| dc.publisher | IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG | - |
| dc.title | LR formalisms as abstract interpretations of grammar semantics | - |
| dc.type | Article | - |
| dc.identifier.wosid | 000242877700013 | - |
| dc.identifier.scopusid | 2-s2.0-33845687812 | - |
| dc.type.rims | ART | - |
| dc.citation.volume | E89D | - |
| dc.citation.issue | 12 | - |
| dc.citation.beginningpage | 2924 | - |
| dc.citation.endingpage | 2932 | - |
| dc.citation.publicationname | IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS | - |
| dc.identifier.doi | 10.1093/ietisy/e89-d.12.2924 | - |
| dc.contributor.localauthor | Choe, Kwang-Moo | - |
| dc.contributor.nonIdAuthor | O, S | - |
| dc.type.journalArticle | Article | - |
| dc.subject.keywordAuthor | formal language | - |
| dc.subject.keywordAuthor | LR parsing | - |
| dc.subject.keywordAuthor | formal semantics | - |
| dc.subject.keywordAuthor | abstract interpretation | - |
- Appears in Collection
- CS-Journal Papers(저널논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.