Qué necesitas saber antes de
comenzar
Inicio 13 June 2026 16:19
Fin 13 June 2026
Más allá de los bucles afines: un enfoque geométrico para la síntesis de programas
ACM SIGPLAN
6077 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
