Improving determinization of grammar programs for program inversion

DOI10.1007/978-3-642-38197-3_11zbMATH Open1394.68082OpenAlexW2135591015MaRDI QIDQ2848904FDOQ2848904

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

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.

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)

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
• Functional and Logic Programming
• Determinization of inverted grammar programs via context-free expressions

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)