1821 search results - page 3 / 365 » Security-Aware Program Transformations |
CSL
1993
Springer
13 years 11 months ago
1993
Springer
BIRTHDAY
2012
Springer
12 years 3 months ago
2012
Springer
Abstract. Model-Driven Engineering (MDE) places models as firstclass artifacts throughout the software lifecycle. In this context, model transformations are crucial for the succes...
POPL
2002
ACM
14 years 7 months ago
2002
ACM
PPDP
2005
Springer
14 years 1 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
PEPM
2012
ACM
12 years 3 months ago
2012
ACM
We share a vision of connecting the topics of bidirectional transformation and inductive program synthesis, by proposing to use the latter in approaching problematic aspects of th...