4 search results - page 1 / 1 » Towards an Algebraic Theory of Bidirectional Transformations |
GG
2008
Springer
13 years 8 months ago
2008
Springer
FASE
2007
Springer
14 years 1 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...
PDS
1996
13 years 8 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...
POPL
2009
ACM
14 years 8 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...