1914 search results - page 175 / 383 » Verification by Abstract Interpretation |
130
Voted
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Partial evaluation aims to improve the efficiency of a program by specialising it with respect to some known inputs. In this paper, we show that partial evaluation can be an effec...
136
Voted
SAC
2008
ACM
15 years 17 days ago
2008
ACM
In Software Product Lines (SPLs), product configuration is a decision-making process in which a group of stakeholders choose features for a product. Unfortunately, current configu...
122
Voted
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
123
Voted
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
129
Voted
TACAS
2010
Springer
14 years 11 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...