Sciweavers

3 search results - page 1 / 1
» Bidirectional Model Transformations in QVT: Semantic Issues ...
Sort
View
MODELS
2007
Springer
13 years 11 months ago
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...
Perdita Stevens
ICMT
2009
Springer
13 years 11 months ago
A Simple Game-Theoretic Approach to Checkonly QVT Relations
Abstract. The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where a two (or more) models ...
Perdita Stevens
ACMMSP
2006
ACM
250views Hardware» more  ACMMSP 2006»
13 years 10 months ago
What do high-level memory models mean for transactions?
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
Dan Grossman, Jeremy Manson, William Pugh