Pages that link to "Item:Q3558241"
From MaRDI portal
The following pages link to A Grammar-Based Approach to Invertible Programs (Q3558241):
Displaying 5 items.
- Polynomial-time inverse computation for accumulative functions with multiple data traversals (Q526439) (← links)
- Determinization of inverted grammar programs via context-free expressions (Q1979968) (← links)
- A theoretical approach to program inversion (Q2770741) (← links)
- Manipulating accumulative functions by swapping call-time and return-time computations (Q5398337) (← links)
- \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches (Q6151758) (← links)