Beyond Affine Loops - A Geometric Approach to Program Synthesis

Overzicht

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

---

Vakgebieden

Computer Science