4725 search results - page 549 / 945 » Dependence-Based Program Analysis |
198
click to vote
APLAS
2004
ACM
16 years 21 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...
193
click to vote
DOCENG
2004
ACM
16 years 21 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...
204
click to vote
CC
2004
Springer
16 years 20 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) ...
181
click to vote
ECOOP
2004
Springer
16 years 20 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...
183
click to vote
ISOLA
2004
Springer
16 years 19 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...