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