Abstract parsing: Static analysis of dynamically generated string output using LR-parsing technology
- Title
- Abstract parsing: Static analysis of dynamically generated string output using LR-parsing technology
- Author
- 도경구
- Keywords
- Parsing technologies; Context free languages; Context-free structures; Reference grammar; Document languages; Abstracting; Synthetic aperture sonar; Control structure; Markup languages; Static analysis; Computational linguistics; Data flow analysis; Elect
- Issue Date
- 2009-08
- Publisher
- Springer Verlag
- Citation
- Lecture Notes in Computer Science, v. 5673, Page. 256-272
- Abstract
- We combine LR(k)-parsing technology and data-flow analysis to analyze, in advance of execution, the documents generated dynamically by a program. Based on the document language's context-free reference grammar and the program's control structure, the analysis predicts how the documents will be generated and parses the predicted documents. Our strategy remembers context-free structure by computing abstract LR-parse stacks. The technique is implemented in Objective Caml and has statically validated a suite of PHP programs that dynamically generate HTML documents. © 2009 Springer.
- URI
- https://link.springer.com/chapter/10.1007/978-3-642-03237-0_18https://repository.hanyang.ac.kr/handle/20.500.11754/185701
- ISSN
- 0302-9743;1611-3349
- DOI
- 10.1007/978-3-642-03237-0_18
- Appears in Collections:
- COLLEGE OF COMPUTING[E](소프트웨어융합대학) > COMPUTER SCIENCE(소프트웨어학부) > Articles
- Files in This Item:
There are no files associated with this item.
- Export
- RIS (EndNote)
- XLS (Excel)
- XML