Sciweavers

WFLP
2000
Springer
98views Algorithms» more  WFLP 2000»
14 years 4 months ago
Functional Notation for Indexed Concepts
Viacheslav Wolfengagen
WFLP
2000
Springer
107views Algorithms» more  WFLP 2000»
14 years 4 months ago
Functional Specifications of Multilevel Highway Navigation
Sabine Timpf, Werner Kuhn
WFLP
2000
Springer
163views Algorithms» more  WFLP 2000»
14 years 4 months ago
Cooperative Constraint Functional Logic Programming
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...
Mircea Marin, Tetsuo Ida
WFLP
2000
Springer
82views Algorithms» more  WFLP 2000»
14 years 4 months ago
Strong and NV-sequentiality of constructor systems
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...
Salvador Lucas
WFLP
2000
Springer
148views Algorithms» more  WFLP 2000»
14 years 4 months ago
The Use of Functional and Logic Languages in Machine Learning
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...
Peter A. Flach
WFLP
2000
Springer
124views Algorithms» more  WFLP 2000»
14 years 4 months ago
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
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...
Elvira Albert, Sergio Antoy, Germán Vidal