1131 search results - page 83 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
136
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We present F(Eml), a language that combines classes, extensible functions, symmetric multiple dispatching, and a practical system for parameterized modules. Parameterized...
109
Voted
IJCAI
2007
15 years 3 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...
102
click to vote
JLP
1998
15 years 2 months ago
1998
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
125
click to vote
WWW
2008
ACM
16 years 3 months ago
2008
ACM
We propose a method of classifying XML documents and extracting XML schema from XML by inductive inference based on constraint logic programming. The goal of this work is to type ...