2398 search results - page 9 / 480 » Constraint Programming and Graph Algorithms |
IWPEC
2010
Springer
13 years 6 months ago
2010
Springer
OOPSLA
1991
Springer
13 years 12 months ago
1991
Springer
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, a...
VLDB
1990
ACM
14 years 13 days ago
1990
ACM
In previous papers we have proposed a graphical query language for expressing traversal recursions in labelled, directed graphs. A fundamental feature of the language is the use o...
SAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
AAMAS
2002
Springer
13 years 8 months ago
2002
Springer
There is considerable interest in developing runtime infrastructures for programs that can migrate from one host to another. Mobile programs are appealing because they support eff...