Ce que vous devez savoir avant
Vous commencez
Débute 13 June 2026 17:49
Se termine 13 June 2026
Au-delà des boucles affines - Une approche géométrique de la synthèse de programmes
ACM SIGPLAN
6077 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
