Abstract | ||
---|---|---|
This paper presents the Kiel Curry System (KiCS ), a new implementation of the lazy functional logic language Curry. Its main features beyond other Curry implementations are: flexible search control by means of search trees, referentially transparent encapsulation and sharing across non-determinism. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-642-00675-3_13 | Applications of Declarative Programming and Knowledge Management |
Keywords | Field | DocType |
kiel curry system kics,referentially transparent encapsulation,lazy functional logic language,kiel curry system,new implementation,main feature,search tree,curry implementation,flexible search control | Logic program,Programming language,Arithmetic,Implementation,Curry,Logic programming,Geography,Encapsulation (computer programming),Search tree | Conference |
Volume | ISSN | Citations |
5437 | 0302-9743 | 16 |
PageRank | References | Authors |
0.70 | 13 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bernd Braßel | 1 | 181 | 12.47 |
Frank Huch | 2 | 141 | 7.66 |