Pages that link to "Item:Q882487"
From MaRDI portal
The following pages link to Deaccumulation techniques for improving provability (Q882487):
Displaying 5 items.
- Polynomial-time inverse computation for accumulative functions with multiple data traversals (Q526439) (← links)
- Verifying Procedural Programs via Constrained Rewriting Induction (Q5278212) (← links)
- Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins (Q5398330) (← links)
- Manipulating accumulative functions by swapping call-time and return-time computations (Q5398337) (← links)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896945) (← links)