Improving Determinization of Grammar Programs for Program Inversion
From MaRDI portal
Publication:2848904
DOI10.1007/978-3-642-38197-3_11zbMath1394.68082OpenAlexW2135591015MaRDI QIDQ2848904
Minami Niwa, Masahiko Sakai, Naoki Nishida
Publication date: 13 September 2013
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-38197-3_11
Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Inverse Unfold Problem and Its Heuristic Solving ⋮ Determinization of inverted grammar programs via context-free expressions
This page was built for publication: Improving Determinization of Grammar Programs for Program Inversion