Preserving consistency in geometric modeling with graph transformations
From MaRDI portal
Publication:5059141
DOI10.1017/S0960129522000226MaRDI QIDQ5059141
Pascale Le Gall, Romain Pascual, Agnès Arnould, Thomas Bellet, Hakim Belhaouari
Publication date: 23 December 2022
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
static analysisgeneralized mapsconsistency preservationtopology-based geometric modelingDPO graph transformationgraph transformation with variables
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- DiaGen
- Hyperedge replacement: grammars and languages
- Adaptive star grammars and their languages
- Fundamentals of algebraic graph transformation
- Hoare-Style Verification of Graph Programs
- Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling
- Graph Transformation for Topology Modelling
- GrGen: A Fast SPO-Based Graph Rewriting Tool
- Correctness of high-level transformation systems relative to nested conditions
- The Graph Programming Language GP
- Attributed Grammar-A Tool for Combining Syntactic and Statistical Approaches to Pattern Recognition
- Attributed Programmed Graph Grammars and Their Application to Schematic Diagram Interpretation
- N-DIMENSIONAL GENERALIZED COMBINATORIAL MAPS AND CELLULAR QUASI-MANIFOLDS
- Handbook of Graph Grammars and Computing by Graph Transformation
- Term Rewriting and All That
- Declarative Mesh Subdivision Using Topological Rewriting in MGS
- Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions
- Preserving consistency in geometric modeling with graph transformations
- Combinatorial Maps
- Graph Transformations
- An axiomatic basis for computer programming
- Formal Methods in Software and Systems Modeling
This page was built for publication: Preserving consistency in geometric modeling with graph transformations
