441 search results - page 44 / 89 » The logical approach to stack typing |
116
click to vote
ENTCS
2002
14 years 11 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
147
click to vote
LOPSTR
2009
Springer
15 years 6 months ago
2009
Springer
Answer Set Programming (ASP) is a powerful paradigm of logic programming for non-monotonic reasoning. However, the restriction of “grounded range-restricted function-free normal ...
158
click to vote
JUCS
2006
14 years 11 months ago
2006
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
INLG
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a new approach to the generation of referring expressions containing attributive, type and relational properties combined by conjunctions, disjunctions and neg...
181
click to vote
POPL
2005
ACM
16 years 3 days ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...