12 search results - page 1 / 3 » lopstr 2004 |
LOPSTR
2004
Springer
13 years 10 months ago
2004
Springer
LOPSTR
2004
Springer
13 years 10 months ago
2004
Springer
LOPSTR
2004
Springer
13 years 10 months ago
2004
Springer
Machines Mads Sig Ager BRICS Report Series RS-04-20 ISSN 0909-0878 October 2004 04-20M.S.Ager:FromNaturalSemanticstoAbstractMachines
LOPSTR
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...
LOPSTR
2004
Springer
13 years 10 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...