4370 search results - page 60 / 874 » Algebra of Logic Programming |
BIRTHDAY
2008
Springer
13 years 11 months ago
2008
Springer
Event-pattern reactive programs are small programs that process an input stream of events to detect and act upon given temporal patterns. These programs are used in distributed sys...
MLQ
2008
13 years 9 months ago
2008
In this paper we carry out an algebraic investigation of the Weak Nilpotent Minimum logic (WNM) and its t-norm based axiomatic extensions. We consider the algebraic counterpart of...
MLQ
2007
13 years 8 months ago
2007
It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w.r.t. the class of all finite MTL-chains. In order to reach a deeper understanding ...
APLAS
2007
ACM
14 years 28 days 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...
CONCUR
2004
Springer
14 years 2 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.