.png){kind=icon}
返回
Semantics and Scheduling for Machine Knitting Compilers
.png){kind=icon}
OA
AI
DOI：10.1145/3592449.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Machine knitting is a well-established fabrication technique for complex soft objects, and both companies and researchers have developed tools for generating machine knitting patterns. However, existing representations for machine knitted objects are incomplete (do not cover the complete domain of machine knittable objects) or overly specific (do not account for symmetries and equivalences among knitting instruction sequences). This makes it difficult to define correctness in machine knitting, let alone verify the correctness of a given program or program transformation. The major contribution of this work is a formal semantics for knitout, a low-level Domain Specific Language for knitting machines. We accomplish this by using what we call the fenced tangle, which extends concepts from knot theory to allow for a mathematical definition of knitting program equivalence that matches the intuition behind knit objects. Finally, using this formal representation, we prove the correctness of a sequence of rewrite rules; and demonstrate how these rewrite rules can form the foundation for higher-level tasks such as compiling a program for a specific machine and optimizing for time/reliability, all while provably generating the same knit object under our proposed semantics. By establishing formal definitions of correctness, this work provides a strong foundation for compiling and optimizing knit programs.
Keyword:
machine knitting
domain specific languages
fabrication
topology
knot theory
program semantics
期刊
IF:
9.5
论文数:
4.8K
被引数:
3.6W
机构
引用论文
Stone handling by Japanese macaques (Macaca fuscata): Implications for tool use of stone.png)
Primates
PrimatesIF0
PREAI
分享收藏KnitKit: A flexible system for machine knitting of customizable textilesKnitKit: 用于可定制纺织品的机器编织的灵活系统
OAAI
OAAI分享收藏
查看更多内容