1882 search results - page 16 / 377 » Transformational Programming and Forests |
ICMT
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
APLAS
2009
ACM
14 years 3 months ago
2009
ACM
INFSOF
2002
13 years 8 months ago
2002
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...
SPIN
2001
Springer
14 years 27 days ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
DRMTICS
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we propose a new scheme for software obfuscation and license protection that is based on an original transformation of the program’s call tree. The idea is based on...