322 search results - page 56 / 65 » Combinations of Abstract Domains for Logic Programming |
115
click to vote
CORR
2004
Springer
14 years 11 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
JFP
2008
14 years 11 months ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
ATAL
2010
Springer
15 years 23 days ago
2010
Springer
In many applications, tasks can be delegated to intelligent agents. In order to carry out a task, an agent should reason about what types of resources the task requires. However, ...
ICDE
1993
IEEE
15 years 3 months ago
1993
IEEE
Emerging database application domains demand not only new functionality but also high performance. To satisfy these two requirements, the Volcano project provides efficient, exten...