Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeli...
summary
Presents a concrete concept: augment symbol tables with generator information that stores small target-language code templates and exposes CRUD operations as a lightweight contract for generator composition. Implements a Montic-based demonstrator that serializes symbol tables to symbol table JSON, lets a composition printer resolve symbols and fetch read/write templates, and adapts automaton and class-diagram generators to avoid compile errors. Prototype works for generators that target the same runtime but shows limitations (auxiliary variables, generator control flow) and needs further refinement.
AI-written summary · about
chapters (10)
- 0:00Heterogeneous language composition
- 1:27Language aggregation with symbols
- 3:33Generator sync across models
- 5:44Extending symbol tables
- 7:53CRUD as generator contracts
- 9:39Template-based symbol access
- 11:57Composition printer workflow
- 14:45Test data generation demo
- 16:50Open challenges
- 22:09Summary
related talks
15mMetaprogramming with Combinators
22mType-Safe Code Generation With Algebraic Effects and Handlers
30mGenerating Conforming Programs With Xsmith
01h 48m“Meta: Thoughts on generative C++”
16mAutomatically Deriving Control-Flow Graph Generators from Operational Semantics
38mModeling Symposium
01h 12mC# Source Generators in Action
59mMeta++: Language Support for Advanced Generative Programming