Graphical Template Language for Transformation Synthesis
No abstract available.
Related papers
- Synthesis of Recursive ADT Transformations from Reusable Templates TACAS 2017
- A transformational approach to data visualization GPCE 2014
- Synthesizing Invariants for Polynomial Programs by Semidefinite Programming TOPLAS 2025
- Template-Based Controller Synthesis for Timed Systems TACAS 2012
- MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives CAV 2023
- Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis SAS 2016
- Learning Abstractions for Program Synthesis CAV 2018
- Comparison of the expressiveness and performance of template-based code generation tools SLE 2017