.png){kind=icon}
.png){kind=icon}
Return
Program Synthesis for Geometric Modeling
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-04848-6_9.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Implementing geometric modeling operations in a programming language can be inherently challenging despite their seemingly simple input-to-output descriptions. We propose a program synthesis method to generate executable code from representative examples. We focus on geometric computations in topology-based modeling, where nD objects are decomposed into cells with added geometric information. This domain uses combinatorial structures represented as graphs, with operations formalized as graph transformation rules and geometric modifications given by code-like annotations on the rule's graph nodes.
Keywords:
Programming-by-example
Domain-specific language
Topology-based geometric modeling
Constraint-solving
Journal
L
IF:
0
Papers:
13
Citations:
0