TurtleTalk: A DSL for Constraint-Based Turtle Graphics in Programmatic CAD
This program is tentative and subject to change.
In programmatic CAD (PCAD), 3D shapes are generally modelled either by position-based composition of simpler shapes, or by direct generation via path-based techniques (e.g., extrusions, sweeps, revolves). While state-of-the-art PCAD tools effectively support position-based modelling, they lack expressive mechanisms for path-based modelling. As a result, shapes that are naturally formed by sweeping a 2D path into a 3D shape are difficult to model and use in these tools. This paper introduces TurtleTalk, a PCAD language that offers rich support for constructing path-based shapes and the composition of path-based and primitive shapes. TurtleTalk is an extension of PrintTalk, a PCAD language featuring constraints for composing constituent shapes into complex 3D models. TurtleTalk takes inspiration from turtle graphics for constructing paths by imperative instructions and uniquely integrates constraints to enable the declarative expression of path properties. Our evaluation shows that combining imperative instructions and declarative constraints facilitates the design of path-based shapes by reducing the need for complex manual calculations while also enhancing their composability and reusability.
This program is tentative and subject to change.
Mon 29 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
11:00 - 12:30 | |||
11:00 22mTalk | Comparing Solver Representations for Analyzing Cardinality-Based Feature Models GPCE Fabian Eger Karlsruhe Institute of Technology, Lukas Güthing Karlsruhe Institute of Technology, Kevin Feichtinger Karlsruhe Institute of Technology (KIT), Ina Schaefer KIT | ||
11:22 22mTalk | ATLAS: From Access conTrol Language to ACSL Specifications GPCE Julien Signoles Université Paris-Saclay, CEA, List, Khaoula Boukir Ibn Tofail University, Amine Nasri Université Paris-Saclay, CEA, List & Ibn Tofail University | ||
11:45 22mTalk | Less Is More: Measuring How LLM Involvement Affects Chatbot Accuracy in Static Analysis GPCE Krishna Narasimhan F1RE | ||
12:07 22mTalk | TurtleTalk: A DSL for Constraint-Based Turtle Graphics in Programmatic CAD GPCE Jef Jacobs Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel | ||