4 search results - page 1 / 1 » Towards an Algebraic Theory of Bidirectional Transformations |
GG
2008
Springer
14 years 10 months ago
2008
Springer
76
Voted
FASE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
106
click to vote
PDS
1996
14 years 11 months ago
1996
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...
181
Voted
POPL
2009
ACM
15 years 10 months ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...