2451 search results - page 175 / 491 » The Octagon Abstract Domain |
185
click to vote
DAGSTUHL
1996
15 years 8 months ago
1996
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
181
click to vote
ENTCS
2008
15 years 7 months ago
2008
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
212
click to vote
IANDC
2006
15 years 7 months ago
2006
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...
167
click to vote
SIGIR
2008
ACM
15 years 7 months ago
2008
ACM
Over the years, the notion of concept relatedness has attracted considerable attention. A variety of approaches, based on ontology structure, information content, association, or ...
153
click to vote
IPL
2007
15 years 7 months ago
2007
Abstract. The Semiring Constraint Satisfaction Problem (SCSP) framework is a popular approach for the representation of partial constraint satisfaction problems. In this framework ...