Ce que vous devez savoir avant
Vous commencez
Débute 12 July 2026 02:47
Se termine 12 July 2026
Au-delà des boucles affines - Une approche géométrique de la synthèse de programmes
ACM SIGPLAN
6086 Cours
19 minutes
Amélioration optionnelle disponible
Not Specified
Progressez à votre rythme
Free Video
Amélioration optionnelle disponible
Aperçu
Explore algebraic geometry tools for synthesizing polynomial loops with guard conditions from invariants, advancing beyond traditional affine loop synthesis methods.
Matières
Computer Science
