String Analysis as an Abstract Interpretation

DOI10.1007/978-3-642-18275-4_21zbMath1317.68099OpenAlexW4242646994MaRDI QIDQ3075489

Kwang-Moo Choe, Se-Won Kim

Publication date: 15 February 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-18275-4_21

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Unnamed Item
• Unnamed Item
• The inclusion problem for simple languages
• Visibly pushdown languages
• Superdeterministic PDAs
• Linear-time suffix parsing for deterministic languages
• Systematic design of program transformation frameworks by abstract interpretation
• Abstract Interpretation Frameworks
• Programming Languages and Systems
• XML Validation for Context-Free Grammars
• A Practical String Analyzer by the Widening Approach
• A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
• A characterization of parenthesis languages
• On parsing and condensing substrings of LR languages in linear time

This page was built for publication: String Analysis as an Abstract Interpretation