2478 search results - page 75 / 496 » Quadtrees as an Abstract Domain |
SE
2007
13 years 9 months ago
2007
Abstract: Software development is a complex task and therefore requires professional programming skills. Restricting the focus to a specific problem domain allows the application o...
AGP
1999
IEEE
14 years 11 days ago
1999
IEEE
We study the problem of an efficient and precise sharing analysis of (constraint) logic programs. After recognizing that neither aring nor its non-redundant (but equivalent) abstra...
SAS
1999
Springer
14 years 9 days ago
1999
Springer
Complementation, the inverse of the reduced product operation, is a technique for systemfinding minimal decompositions of abstract domains. Fil´e and Ranzato advanced the state ...
IJCAI
2003
13 years 9 months ago
2003
We have created LADDER, the first language to describe how sketched diagrams in a domain are drawn, displayed, and edited. The difficulty in creating such a language is choosing...
TCS
2008
13 years 8 months ago
2008
In this paper a new notion of continuous information system is introduced. It is shown that the information systems of this kind generate exactly the continuous domains. The new i...