2947 search results - page 415 / 590 » Analyzing Program Analyses |
155
click to vote
FM
2009
Springer
16 years 23 days 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...
204
click to vote
FSEN
2009
Springer
16 years 23 days 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 ...
174
click to vote
ICMT
2009
Springer
16 years 23 days 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...
159
click to vote
ICNC
2009
Springer
16 years 23 days 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 ...
179
click to vote
LOPSTR
2009
Springer
16 years 23 days 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...