1320 search results - page 1 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
ICLP
1998
Springer
13 years 9 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
RC
2002
13 years 4 months ago
2002
Existing interval constraint logic programming languages, such as BNR Prolog, work under the framework of interval narrowing and are deficient in solving systems of linear constrai...
ICLP
1998
Springer
13 years 9 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...
LPAR
2004
Springer
13 years 10 months ago
2004
Springer
CORR
2004
Springer
13 years 4 months ago
2004
Springer
It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of l...