Inferring Grammatical Summaries of String Values

DOI10.1007/978-3-319-12736-1_20zbMath1453.68049OpenAlexW111006895MaRDI QIDQ2789061

Wooyoung Chin, Sukyoung Ryu, Se-Won Kim, Jimin Park, Jeongmin Kim

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

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

Related Items (1)

Completeness of string analysis for dynamic languages

This page was built for publication: Inferring Grammatical Summaries of String Values