3926 search results - page 93 / 786 » A Logic of Object-Oriented Programs |
143
click to vote
CONCUR
2004
Springer
15 years 10 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.
137
click to vote
KI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
130
click to vote
LOPSTR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...
138
click to vote
ASP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...
158
click to vote
ENTCS
2000
15 years 4 months ago
2000
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...