850 search results - page 76 / 170 » A Logic Programming Language Based on Binding Algebras |
120
click to vote
POPL
1998
ACM
15 years 5 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
109
click to vote
APLAS
2000
ACM
15 years 5 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
102
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on t...
154
click to vote
ANSOFT
2002
15 years 1 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
225
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formula...