Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled
No abstract available.
Related papers
- Proving expected sensitivity of probabilistic programs POPL 2018
- Model querying with query models GPCE 2015
- Staged compilation with two-level type theory ICFP 2022
- Mixing source and bytecode: a case for compilation by normalization OOPSLA 2008
- Coupling proofs are probabilistic product programs POPL 2017
- Seamless development of software product lines GPCE 2007
- Abstract Interaction Tools: A Language for User Interface Management Systems TOPLAS 1988
- Modelling Homogeneous Generative Meta-Programming ECOOP 2017