Inferring grammatical summaries of string values

DOI10.1007/978-3-319-12736-1_20MaRDI QIDQ2789061zbMATH OpenOpenAlexFDO

Authors S. W. Kim, Wooyoung Chin, Jimin Park, Jeongmin Kim, Sukyoung Ryu

Publication date 26 February 2016

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-12736-1_20

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 2090837
• String analysis as an abstract interpretation
• A Practical String Analyzer by the Widening Approach
• XML Validation for Context-Free Grammars
• Twinning automata and regular expressions for string static analysis

Cited in

(3)

• Completeness of string analysis for dynamic languages
• String analysis as an abstract interpretation
• scientific article; zbMATH DE number 2090837 (Why is no real title available?)

This page was built for publication: Inferring grammatical summaries of string values

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2789061)