KiCS2: a new compiler from Curry to Haskell

Authors:
Bernd Braßel;Michael Hanus;Björn Peemöller;Fabian Reck
Affiliations:
Institut für Informatik, CAU Kiel, Kiel, Germany;Institut für Informatik, CAU Kiel, Kiel, Germany;Institut für Informatik, CAU Kiel, Kiel, Germany;Institut für Informatik, CAU Kiel, Kiel, Germany
Venue:
WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
Year:
2011

Citing 26
Cited 4

How to replace failure by a list of successes

Proc. of a conference on Functional programming languages and computer architecture
Nondeterministic algebraic specifications and nonconfluent term rewriting

Journal of Logic Programming
A Functional Logic Programming Approach to Graphical User Interfaces

PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
High-Level Server Side Web Scripting in Curry

PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Implementing Encapsulated Search for a Lazy Functional Logic Language

FLOPS '99 Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming
A Functional-Logic Perspective on Parsing

FLOPS '99 Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming
Functional Logic Design Patterns

FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Compiling Multi-Paradigm Declarative Programs into Prolog

FroCoS '00 Proceedings of the Third International Workshop on Frontiers of Combining Systems
Denotational Abstract Interpretation of Functional Logic Programs

SAS '97 Proceedings of the 4th International Symposium on Static Analysis
TOY: A Multiparadigm Declarative System

RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
The nofib Benchmark Suite of Haskell Programs

Proceedings of the 1992 Glasgow Workshop on Functional Programming
Lazy Narrowing in a Graph Machine

Proceedings of the Second International Conference on Algebraic and Logic Programming
Constructor-based conditional narrowing

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
A functional logic database library

Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Type-oriented construction of web user interfaces

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
A simple rewrite notion for call-time choice semantics

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Purely functional lazy non-deterministic programming

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Functional logic programming

Communications of the ACM
Operational semantics for declarative multi-paradigm languages

Journal of Symbolic Computation
Multi-paradigm declarative languages

ICLP'07 Proceedings of the 23rd international conference on Logic programming
On a tighter integration of functional and logic programming

APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
High-level database programming in curry

PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Transforming functional logic programs into monadic functional programs

WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming
Overlapping rules and logic variables in functional logic programs

ICLP'06 Proceedings of the 22nd international conference on Logic Programming
An ER-based framework for declarative web programming

PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
A virtual machine for functional logic computations

IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages

Compiling a functional logic language: the basic scheme

FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
A semantics for weakly encapsulated search in functional logic programs

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
A modular and generic analysis server system for functional logic programs

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present our first steps towards a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs. Our implementation is based on the idea to represent non-deterministic results as values of the data types corresponding to the results. This enables the application of various search strategies to extract values from the search space. We show by several benchmarks that our implementation can compete with or outperform other existing implementations of Curry.