卡内基梅隆大学纺织实验室的研究人员提出了一种针对机器编织的低级领域特定语言 (DSL) knitout 的形式化语义。他们引入了一种称为“围栏缠结”的概念，扩展了纽结理论，为编织程序等价性提供了数学定义。在此基础上，他们证明了一系列重写规则的正确性，并演示了如何利用这些规则进行程序编译、机器特定优化以及时间/可靠性优化，同时确保生成相同的编织对象。