4725 search results - page 549 / 945 » Dependence-Based Program Analysis |
176
click to vote
APLAS
2004
ACM
16 years 7 days ago
2004
ACM
Abstract. In component-based programming, the programmer assembles applications from prefabricated components. The assembly process has two main steps: adapting a component by twea...
181
click to vote
DOCENG
2004
ACM
16 years 7 days ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
190
click to vote
CC
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Partial redundancy elimination (PRE) is a program transformation that identifies and eliminates expressions that are redundant on at least one (but not necessarily all) ...
165
click to vote
ECOOP
2004
Springer
16 years 6 days ago
2004
Springer
Given the importance of encapsulation to object-oriented programming, it is surprising to note that mainstream object-oriented languages offer only limited and fixed ways of enca...
167
Voted
ISOLA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...