1901 search results - page 141 / 381 » Predicting Program Properties from |
103
click to vote
AGP
1998
IEEE
15 years 7 months ago
1998
IEEE
Parsing has been a traditional workbench for showing the virtues of declarative programming. Both logic and functional programming claim the ability of writing parsers in a natura...
124
click to vote
ECOOP
1987
Springer
15 years 6 months ago
1987
Springer
Object oriented programming environments frequently suffer serious performance degradation because of a high level of paging activity when implemented using a conventional virtual...
119
click to vote
CSMR
2004
IEEE
15 years 6 months ago
2004
IEEE
Most legacy systems have been altered due to prolonged maintenance to the point that they deviate significantly from their original and intended design and consequently, they lack...
132
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
127
click to vote
APPROX
2009
Springer
15 years 9 months ago
2009
Springer
Property testing is concerned with deciding whether an object (e.g. a graph or a function) has a certain property or is “far” (for some definition of far) from every object w...