A grammar-based approach to invertible programs

DOI10.1007/978-3-642-11957-6_24MaRDI QIDQ3558241zbMATH OpenOpenAlexFDO

Authors Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi

Publication date 4 May 2010

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

Full work available at URL https://doi.org/10.1007/978-3-642-11957-6_24

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(16)

• Running programs backwards: The logical inversion of imperative computation
• Determinization of inverted grammar programs via context-free expressions
• A theoretical approach to program inversion
• Improving determinization of grammar programs for program inversion
• Reversing parallel programs with blocks and procedures
• Synthesizing loops for program inversion
• Reversing imperative parallel programs
• Polynomial-time inverse computation for accumulative functions with multiple data traversals
• Functional and Logic Programming
• FliPpr: a prettier invertible printing system
• Manipulating accumulative functions by swapping call-time and return-time computations
• A method for automatic program inversion based on LR(0) parsing
• A program inverter for a functional language with equality and constructors.
• Tail recursion transformation for invertible functions
• \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches
• Program inversion: More than fun!

Describes a project that uses

Uses Software

• XDuce

This page was built for publication: A grammar-based approach to invertible programs

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