Qué necesitas saber antes de
comenzar
Inicio 12 July 2026 02:47
Fin 12 July 2026
Más allá de los bucles afines: un enfoque geométrico para la síntesis de programas
ACM SIGPLAN
6086 Cursos
19 minutes
Actualización opcional disponible
Not Specified
Avanza a tu propio ritmo
Free Video
Actualización opcional disponible
Resumen
Explore algebraic geometry tools for synthesizing polynomial loops with guard conditions from invariants, advancing beyond traditional affine loop synthesis methods.
Materias
Computer Science
