1776 search results - page 146 / 356 » Using a Logic Programming Language with Persistence and Cont... |
128
click to vote
ENTCS
2008
15 years 3 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
161
Voted
CONCUR
1991
Springer
15 years 6 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
148
click to vote
DLOG
2009
15 years 1 months ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
117
click to vote
FIW
2009
15 years 1 months ago
2009
One of the most difficult tasks in software development is that features are implemented by changing the code of other features. This problem cannot be solved with existing general...
140
click to vote
AAECC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and by replacing matching with unification. Narrowing has been widely used in diff...