1366 search results - page 63 / 274 » Modularizing Contexted Constraints |
112
click to vote
PLDI
2012
ACM
13 years 1 months ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
WWW
2008
ACM
15 years 12 months ago
2008
ACM
Generally, web services are provided with different QoS values, so they can be selected dynamically in service composition process. However, the conventional context free composit...
102
click to vote
CAV
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Constrained random simulation is supported by constraint solvers integrated within simulators. These constraint solvers need to be fast and memory efficient to maintain s...
100
click to vote
EDBTW
2006
Springer
15 years 1 months ago
2006
Springer
The need for incremental constraint maintenance within collections of semi-structured documents has been ever increasing in the last years due to the widespread diffusion of XML. T...
104
click to vote
LICS
1991
IEEE
15 years 2 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...