Abstract | ||
---|---|---|
In [2] we proposed the integration of finite domain (FD) constraints into the functional logic programming language TOY, and,
as result, presented the language TOY(FD). We showed that TOY(FD), integrates the best features of existing functional and
logic languages into FD constraint solving. This paper describes a sketch (due to space limitations) of the TOY(FD), operational
semantics that consists of a novel combination of lazy evaluation and FD constraint solving.
|
Year | DOI | Venue |
---|---|---|
2003 | 10.1007/978-3-540-45193-8_61 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
operational semantics | Functional logic programming,Operational semantics,Programming language,Computer science,Lazy evaluation,Logic programming,AND gate,Sketch | Conference |
Volume | ISSN | Citations |
2833 | 0302-9743 | 1 |
PageRank | References | Authors |
0.35 | 3 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Antonio Fernández | 1 | 801 | 49.47 |
Maria Teresa Hortalá-González | 2 | 133 | 9.49 |
Fernando Sáenz-Pérez | 3 | 69 | 15.50 |