BM-MDA: Behaviour Modelling in Model-Driven Architecture Read more about BM-MDA: Behaviour Modelling in Model-Driven Architecture
ASPLOS: Architectural Support for Programming Languages and Operating Systems Read more about ASPLOS: Architectural Support for Programming Languages and Operating Systems
ASIA-PEPM: Partial Evaluation and Semantics-Based Program Manipulation Read more about ASIA-PEPM: Partial Evaluation and Semantics-Based Program Manipulation