Improving determinization of grammar programs for program inversion

DOI10.1007/978-3-642-38197-3_11MaRDI QIDQ2848904zbMATH OpenOpenAlexFDO

Authors Minami Niwa, Naoki Nishida, Masahiko Sakai

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

Mathematics Subject Classification ID

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

Recommendations

• A grammar-based approach to invertible programs
• Functional and Logic Programming
• A method for automatic program inversion based on LR(0) parsing
• Translator inversion
• A program inverter for a functional language with equality and constructors.

Cited in

(6)

• Inverse Unfold Problem and Its Heuristic Solving
• A grammar-based approach to invertible programs
• A method for automatic program inversion based on LR(0) parsing
• A theoretical approach to program inversion
• Determinization of inverted grammar programs via context-free expressions
• Functional and Logic Programming

This page was built for publication: Improving determinization of grammar programs for program inversion

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