LRinv

swMATH34346MaRDI QIDQ46055FDOQ46055

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-540-30557-6_17

Cited In (12)

• Reversible computing from a programming language perspective
• Determinization of conditional term rewriting systems
• Reversible effects as inverse arrows
• From reversible programming languages to reversible metalanguages
• InvX
• Slothrop
• Theseus
• SyReC
• ROOPLPPC
• Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation
• Completion after program inversion of injective functions
• Determinization of inverted grammar programs via context-free expressions

This page was built for software: LRinv