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