Basic Problems in Multi-View Modeling
Abstract elided by the publisher.
Related papers
- M3V: Multi-modal Multi-view Context Embedding for Repair Operator Prediction CGO 2022
- An extended comparative study of language support for generic programming JFP 2007
- On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes CAV 1995
- Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML ICFP 2001
- Multi-view Composition Language for Software Product Line Requirements SLE 2009
- A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts OOPSLA 1999
- MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives CAV 2023
- A multi-language compiler system with automatically generated codegenerators PLDI 1984