WFLP
2000
Springer
14 years 3 months ago
2000
Springer
WFLP
2000
Springer
14 years 3 months ago
2000
Springer
WFLP
2000
Springer
14 years 3 months ago
2000
Springer
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...
WFLP
2000
Springer
14 years 3 months ago
2000
Springer
Constructor Systems (CSs) are an important subclass of Term Rewriting Systems (TRSs) which can be used stract model of some programming languages. While normalizing strategies are...
WFLP
2000
Springer
14 years 3 months ago
2000
Springer
WFLP
2000
Springer
14 years 3 months ago
2000
Springer
Abstract. Traditionally, machine learning algorithms such as decision tree learners have employed attribute-value representations. From the early 80's on people have started t...
WFLP
2000
Springer
14 years 3 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...