Graph transformation for geometric modeling
Dec 14, 2023·
·
1 min read
Romain Pascual
Abstract
In this festive presentation, I will give some insights into a rule-based language for geometric modeling. As with any domain-specific language, the goal is to abstract over the actual code (i.e., instructions written in a generic programming language) to enable formal reasoning. Here, I will introduce graph rewriting to formalize geometric modeling operations.
Event
MICS Laboratory Seminar
Location
MICS laboratory
Presentation for done at the Christmas event of the MICS laboratory.
Abstract : In this festive presentation, I will give some insights into a rule-based language for geometric modeling. As with any domain-specific language, the goal is to abstract over the actual code (i.e., instructions written in a generic programming language) to enable formal reasoning. Here, I will introduce graph rewriting to formalize geometric modeling operations.
