6960 search results - page 844 / 1392 » Continuity Analysis of Programs |
192
click to vote
DOCENG
2004
ACM
16 years 15 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...
200
click to vote
CC
2004
Springer
16 years 14 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) ...
172
click to vote
ECOOP
2004
Springer
16 years 13 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...
179
click to vote
ISOLA
2004
Springer
16 years 13 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...
173
click to vote
ISCA
2003
IEEE
16 years 10 days ago
2003
IEEE
In a single second a modern processor can execute billions of instructions. Obtaining a bird’s eye view of the behavior of a program at these speeds can be a difficult task whe...