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
