850 search results - page 16 / 170 » A Logic Programming Language Based on Binding Algebras |
172
click to vote
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Suspension-based tabling systems have to save and restore computation states belonging to OR branches. Stack freezing combined with (forward) trailing is among the better-known imp...
115
click to vote
ENTCS
2002
15 years 1 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
113
click to vote
TAPSOFT
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. Binding-time analyses based on flow analysis have been presented by Bondorf, Consel, Bondorf and Jørgensen, and Schwartzbach and the present author. The analyses are fo...