TOY: A Multiparadigm Declarative System. TOY is the concrete implementation of CRWL, a wide theoretical framework for declarative programming whose basis is a constructor based rewriting logic with lazy non-deterministic functions as the core notion. Other aspects of CRWL supported by TOY are: polymorphic types; HO features; equality and disequality constraints over terms and linear constraints over real numbers; goal solving by needed narrowing combined with constraint solving. The implementation is based on a compilation of TOY programs into Prolog.

References in zbMATH (referenced in 55 articles )

Showing results 1 to 20 of 55.
Sorted by year (citations)

1 2 3 next

  1. Antoy, Sergio; Jost, Andy: Compiling a functional logic language: \textitTheFair Scheme (2014)
  2. López-Fraguas, Francisco J.; Martin-Martin, Enrique; Rodríguez-Hortalá, Juan: Safe typing of functional logic programs with opaque patterns and local bindings (2014)
  3. Riesco, Adrián; Rodríguez-Hortalá, Juan: Singular and plural functions for functional logic programming (2014)
  4. Hanus, Michael: Functional logic programming: from theory to Curry (2013)
  5. Almendros-Jiménez, J. M.; Caballero, R.; García-Ruiz, Y.; Sáenz-Pérez, F.: XPath query processing in a functional-logic language (2012) ioport
  6. Estévez-Martín, Sonia; Correas Fernández, Jesús; Sáenz-Pérez, Fernando: Extending the (\mathcalTOY) system with the (\mathrmECL^i\mathrmPS^e) solver over sets of integers (2012)
  7. Hanus, Michael: Improving lazy non-deterministic computations by demand analysis (2012)
  8. Braßel, Bernd; Fischer, Sebastian; Hanus, Michael; Reck, Fabian: Transforming functional logic programs into monadic functional programs (2011)
  9. del Vado Vírseda, Rafael: A theoretical framework for the higher-order cooperation of numeric constraint domains (2011)
  10. del Vado Vírseda, Rafael: Cooperation of algebraic constraint domains in higher-order functional and logic programming (2011)
  11. Hanus, Michael: Lazy and enforceable assertions for functional logic programs (2011) ioport
  12. Alpuente, Maria; Ballis, Demis; Falaschi, Moreno: Transformation and debugging of functional logic programs (2010)
  13. Alpuente, M.; Ballis, D.; Correa, F.; Falaschi, M.: An integrated framework for the diagnosis and correction of rule-based programs (2010)
  14. Alpuente, M.; Comini, M.; Escobar, S.; Falaschi, M.; Iborra, J.: A compact fixpoint semantics for term rewriting systems (2010)
  15. Antoy, Sergio: Programming with narrowing: a tutorial (2010)
  16. del Vado Vírseda, Rafael; Castiñeiras, Ignacio: A theoretical framework for the declarative debugging of functional logic programs with lambda abstractions (2010)
  17. Nishida, Naoki; Vidal, Germán: Termination of narrowing via termination of rewriting (2010)
  18. del Vado Vírseda, Rafael: A logical framework for debugging in declarative constraint programming (2009)
  19. Braßel, Bernd; Christiansen, Jan: Denotation by transformation. Towards obtaining a denotational semantics by transformation to point-free style (2008)
  20. Caballero, Rafael; Rodríguez Artalejo, Mario; del Vado Vírseda, Rafael: Declarative diagnosis of missing answers in constraint functional-logic programming (2008)

1 2 3 next