1452 search results - page 84 / 291 » Algorithmic Analysis of Array-Accessing Programs |
200
Voted
POPL
2004
ACM
16 years 20 days ago
2004
ACM
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...
94
Voted
PEPM
2007
ACM
15 years 6 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
185
Voted
POPL
2008
ACM
16 years 20 days ago
2008
ACM
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...
94
Voted
ICSE
2005
IEEE-ACM
16 years 13 days ago
2005
IEEE-ACM
UML sequence diagrams are commonly used to represent object interactions in software systems. This work considers the problem of extracting UML sequence diagrams from existing cod...
PASTE
2010
ACM
14 years 10 months ago
2010
ACM
Monitoring or profiling programs provides us with an understanding for its further improvement and analysis. Typically, for monitoring or profiling, the program is instrumented ...