1781 search results - page 133 / 357 » Functional Answer Set Programming |
121
click to vote
VMCAI
2007
Springer
15 years 7 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
132
click to vote
ICFP
2007
ACM
16 years 1 months ago
2007
ACM
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...
130
click to vote
IDEAS
2003
IEEE
15 years 7 months ago
2003
IEEE
The objective of this paper is to investigate the problems related to the extensional integration of information sources. In particular, we propose an approach for managing incons...
WWW
2006
ACM
16 years 2 months ago
2006
ACM
Web services help in achieving increased automation across organizational boundaries. In this paper, we present an approach for annotating WSDL documents with semantically rich de...
141
click to vote
APPROX
2010
Springer
15 years 1 months ago
2010
Springer
We study the problem of monotonicity testing over the hypercube. As previously observed in several works, a positive answer to a natural question about routing properties of the hy...