3342 search results - page 489 / 669 » Automating Abstract Interpretation |
97
Voted
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. For nested or heterogeneous datatypes, terminating recursion schemes considered so far have been instances of iteration, excluding efficient definitions of fixed-point ...
100
Voted
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
98
Voted
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
106
Voted
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We demonstrate a fully automated method for obtaining a closedform approximation of a recursive function. This method resulted from a realworld problem in which we had a ...
98
Voted
ICCS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper, we introduce the concept of rule-based visualization for a computational steering collaboratory and show how these rules can be used to steer the behaviors...