2947 search results - page 415 / 590 » Analyzing Program Analyses |
107
click to vote
FM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
133
Voted
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
124
Voted
ICMT
2009
Springer
15 years 9 months ago
2009
Springer
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
113
click to vote
ICNC
2009
Springer
15 years 9 months ago
2009
Springer
—With the aim to minimize boarding time and devise procedures for boarding strategies, this paper develop the synthesis of Improved Genetic Algorithms and simulation. This paper ...
131
Voted
LOPSTR
2009
Springer
15 years 9 months ago
2009
Springer
In this work, we first consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new re...