1700 search results - page 300 / 340 » Specifying and implementing refactorings |
201
click to vote
POPL
2003
ACM
16 years 3 days ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
212
click to vote
POPL
2003
ACM
16 years 3 days ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
114
click to vote
CADE
2004
Springer
16 years 3 days ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
OSDI
2006
ACM
16 years 2 days ago
2006
ACM
In current commodity systems, applications have no way of limiting their trust in the underlying operating system (OS), leaving them at the complete mercy of an attacker who gains...
176
click to vote
VLDB
2007
ACM
16 years 17 hour ago
2007
ACM
The growing nature of databases, and the flexibility inherent in the SQL query language that allows arbitrarily complex formulations, can result in queries that take inordinate am...