返回
Program Synthesis for Geometric Modeling
DOI:10.1007/978-3-032-04848-6_9.png)
摘要
En 中文
在编程语言中实现几何建模操作可能具有固有挑战性,尽管其输入到输出的描述看似简单。我们提出一种程序合成方法,通过代表性示例生成可执行代码。我们专注于基于拓扑的建模中的几何计算,其中n维对象被分解为添加了几何信息的单元。该领域使用表示为图的组合结构,操作被形式化为图转换规则,几何修改由规则图节点上的类似代码的注释给出。
Keyword:
Programming-by-example
Domain-specific language
Topology-based geometric modeling
Constraint-solving
期刊
L
IF:
0
论文数:
13
被引数:
0

