4722 search results - page 613 / 945 » Representation-independent program analysis |
179
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
185
click to vote
FSTTCS
2004
Springer
16 years 7 hour ago
2004
Springer
Abstract Abstract. In this paper we improve the analysis of approximation algorithms based on semidefinite programming for the maximum graph partitioning problems MAX-k-CUT, MAX-k...
177
click to vote
CGO
2003
IEEE
15 years 12 months ago
2003
IEEE
The pervasive use of pointers with complicated patterns in C programs often constrains compiler alias analysis to yield conservative register allocation and promotion. Speculative...
164
click to vote
DSOM
2003
Springer
15 years 12 months ago
2003
Springer
Instead of relying completely on machine intelligence in anomaly event analysis and correlation, in this paper, we take one step back and investigate the possibility of a human-int...
135
click to vote
FOSSACS
2003
Springer
15 years 12 months ago
2003
Springer
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...