78 search results - page 3 / 16 » Specialization of Functional Logic Programs Based on Needed ... |
PLILP
1993
Springer
15 years 1 months ago
1993
Springer
Many recent proposals for the integration of functional and logic programming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. Thi...
APLAS
2000
ACM
15 years 1 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
ECOOP
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. Automatic program specialization can derive efficient implementations from generic components, thus reconciling the often opposing goals of genericity and efficiency. Thi...
95
Voted
ENTCS
2007
14 years 9 months ago
2007
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic progr...
WCFLP
2005
ACM
15 years 3 months ago
2005
ACM
Programmers need mechanisms to store application specific data that persists multiple program runs. To accomplish this task, they usually have to deal with storage specific code...