Toy(FD): Sketch of Operational Semantics

Antonio J Fernández,Teresa Hortalá-González,Fernando Sáenz-Pérez

doi:10.1007/978-3-540-45193-8_61

Toy(FD): Sketch of Operational Semantics

Antonio J Fernández, Teresa Hortalá-González + Show 1 more

https://doi.org/10.1007/978-3-540-45193-8_61

Copy DOI

Publication Date: Jan 1, 2003

Citations: 5

Affiliation: Universidad de Málaga, Universidad Complutense de Madrid

#Finite Domain Constraint Solving #Finite Domain + Show 8 more

Abstract
Full-Text PDF
Similar Papers

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.

Full Text