1882 search results - page 36 / 377 » Transformational Programming and Forests |
SOCO
2008
Springer
13 years 7 months ago
2008
Springer
CORR
2010
Springer
13 years 6 months ago
2010
Springer
ENASE
2011
2011
Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains
12 years 8 months ago
ENTCS
2007
13 years 8 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
GG
2004
Springer
14 years 1 months ago
2004
Springer
We propose a faithful encoding of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every program is translated to a set of rules incl...