LRinv
From MaRDI portal
Software:46055
swMATH34346MaRDI QIDQ46055FDOQ46055
Author name not available (Why is that?)
Cited In (7)
- 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
- Completion after Program Inversion of Injective Functions
- Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation
- Determinization of inverted grammar programs via context-free expressions
This page was built for software: LRinv
