861 search results - page 81 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
103
click to vote
PASTE
2010
ACM
15 years 8 months ago
2010
ACM
Inaccurate documentation can mislead programmers and cause software to fail in unexpected ways. We examine mismatches between documented and actual error codes returned by 42 Linu...
180
click to vote
POPL
2003
ACM
16 years 3 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
142
click to vote
PEPM
2009
ACM
16 years 2 days ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
254
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
150
click to vote
KDD
2009
ACM
16 years 3 months ago
2009
ACM
Time series prediction is an important issue in a wide range of areas. There are various real world processes whose states vary continuously, and those processes may have influenc...