2000 search results - page 171 / 400 » Program Transformation and Proof Transformation |
122
Voted
RSP
2000
IEEE
15 years 8 months ago
2000
IEEE
: The use of program generation from graphical representations like UML is increasing in software projects. The notion of hypergenericity is raising up to improve program generator...
151
click to vote
SOFTWARE
2011
14 years 10 months ago
2011
—In the multicore era, a major programming task will be to make programs more parallel. This is tedious because it requires changing many lines of code, and it is error-prone and...
123
Voted
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...
114
click to vote
ISW
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. An obfuscation aims to transform a program, without affecting the functionality, so that some secret information within the program can be hidden for as long as possible...
119
Voted
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...