1700 search results - page 299 / 340 » Specifying and implementing refactorings |
206
click to vote
POPL
2008
ACM
16 years 3 days ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
179
click to vote
POPL
2007
ACM
16 years 3 days ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
186
click to vote
POPL
2005
ACM
16 years 3 days ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
195
click to vote
POPL
2004
ACM
16 years 3 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...
188
click to vote
POPL
2004
ACM
16 years 3 days ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...