Search Results - "• Computing methodologies → Symbolic and algebraic manipulation Program synthesis"

Beyond Affine Loops: A Geometric Approach to Program Synthesis

Authors: Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet et al.

Contributors: Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet et al.

Source: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. :1-7

Subject Terms: Computer Science - Symbolic Computation, FOS: Computer and information sciences, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], CCS Concepts: Applied computing → Invariants Logic and verification • Computing methodologies → Symbolic and algebraic manipulation Program synthesis, Symbolic Computation (cs.SC), [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], CCS Concepts, Mathematics - Algebraic Geometry, FOS: Mathematics, Logic and verification, Polynomial invariants, • Computing methodologies → Symbolic and algebraic manipulation Program synthesis, Applied computing → Invariants, Algebraic Geometry (math.AG)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2505.00620
https://hal.science/hal-05127957v1/document
https://hal.science/hal-05127957v1
https://doi.org/10.1145/3735544.3735581