A Formalization of the Semantics of Functional-Logic Programming in Isabelle

Francisco López Fraguas, Stephan Merz, Juan Rodríguez Hortalá

Modern functional-logic programming languages like Toy or Curry feature non-strict non-deterministic functions that behave under call-time choice semantics. A standard formulation…