Beyond Affine Loops - A Geometric Approach to Program Synthesis

סקירה כללית

Explore algebraic geometry tools for synthesizing polynomial loops with guard conditions from invariants, advancing beyond traditional affine loop synthesis methods.

---

נושאים

Computer Science