LRinv
From MaRDI portal
Software:46055
No author found.
Related Items (7)
Reversible effects as inverse arrows ⋮ From reversible programming languages to reversible metalanguages ⋮ Determinization of conditional term rewriting systems ⋮ Reversible computing from a programming language perspective ⋮ Determinization of inverted grammar programs via context-free expressions ⋮ Completion after Program Inversion of Injective Functions ⋮ Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation
This page was built for software: LRinv
