1320 search results - page 60 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
105
click to vote
ESOP
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a determinacy inference analysis for logic programs. The analysis infers determinacy conditions that, if satisfied by a call, ensures that it computes at most ...
122
click to vote
ATAL
1999
Springer
15 years 7 months ago
1999
Springer
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
126
click to vote
ADT
2006
15 years 3 months ago
2006
We propose LicenseScript, a language for digital rights management (DRM) based on multiset rewriting and logic programming. LicenseScript enjoys a precise syntax and semantics, an...
173
click to vote
ICS
1992
Tsinghua U.
15 years 7 months ago
1992
Tsinghua U.
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by...
138
click to vote
DAGSTUHL
1998
15 years 4 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...