3535 search results - page 22 / 707 » Logic Program Specialisation |
113
click to vote
NMR
2004
Springer
15 years 7 months ago
2004
Springer
In Answer Set Programming it is not possible to deduce any conclusion from an inconsistent program (ie: a program that has no model). The same issue occurs in classical logic wher...
150
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...
120
click to vote
ESTIMEDIA
2009
Springer
15 years 9 months ago
2009
Springer
—Multimedia applications are often characterised by implicit temporal constraints but, in many cases, they are not programmed using any specialised real-time API. These “Legacy...
PLILP
1993
Springer
15 years 6 months ago
1993
Springer
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for ...
128
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.