1320 search results - page 67 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
133
click to vote
TOOLS
2008
IEEE
15 years 10 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
129
click to vote
AICOM
2006
15 years 4 months ago
2006
In this work we present a backjumping technique for Disjunctive Logic Programming (DLP) under the Answer Set Semantics. It builds upon related techniques that had originally been p...
136
click to vote
JFLP
2002
15 years 3 months ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...
229
click to vote
POPL
2002
ACM
16 years 4 months ago
2002
ACM
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...
120
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
We report on work in progress regarding a foundation for the notion of meta-variable in logical frameworks and type theories. Our proposal is to treat meta-variables as modal varia...