558 search results - page 27 / 112 » Compiling Resources in a Linear Logic Programming Language |
117
click to vote
PPDP
2004
Springer
15 years 5 months ago
2004
Springer
Semi-naive evaluation is an effective technique employed in bottom-up evaluation of logic programs to avoid redundant joins of answers. The impact of this technique on top-down e...
ECOOP
2006
Springer
15 years 4 months ago
2006
Springer
A variety of application domains are interactive in nature: a primary task involves responding to external actions. In this paper, we introduce explicit programming language suppor...
COLING
1992
15 years 1 months ago
1992
he more abstract term "relational morphology" in place of tile usual "two-level morphology" in order to emphasize an aspect of Koskenniemi's work which ha...
124
Voted
ICFP
2010
ACM
15 years 17 days ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
82
Voted
VSTTE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. This paper presents a method for deriving an expression from the lowlevel code compiled from an expression in a high-level language. The input is a low-level control flo...