Curry
From MaRDI portal
Software:20976
No author found.
Related Items (40)
From Logic to Functional Logic Programs ⋮ Rules + strategies for transforming lazy functional logic programs ⋮ Transforming Boolean equalities into constraints ⋮ Compiling a Functional Logic Language: The Fair Scheme ⋮ Dynamic state restoration using versioning exceptions ⋮ A Focused Sequent Calculus for Higher-Order Logic ⋮ Unnamed Item ⋮ A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenciana under grant GV01-424. ⋮ Purely functional lazy non-deterministic programming ⋮ An integrated framework for the diagnosis and correction of rule-based programs ⋮ Rewriting Strategies and Strategic Rewrite Programs ⋮ Unnamed Item ⋮ Trends in trends in functional programming 1999/2000 versus 2007/2008 ⋮ Unnamed Item ⋮ Default rules for Curry ⋮ Symbolic Analysis of Maude Theories with Narval ⋮ Unnamed Item ⋮ Beginner's luck: a language for property-based generators ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Decidability of bounded higher-order unification ⋮ An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry ⋮ Functional Logic Programming in Maude ⋮ A Strategy Language for Graph Rewriting ⋮ Functional Logic Programming: From Theory to Curry ⋮ Unnamed Item ⋮ Transformation and Debugging of Functional Logic Programs ⋮ Unnamed Item ⋮ Programming with narrowing: a tutorial ⋮ Compiling Collapsing Rules in Certain Constructor Systems ⋮ From Boolean Equalities to Constraints ⋮ A partial evaluation framework for order-sorted equational programs modulo axioms ⋮ Functional and Logic Programming ⋮ Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424. ⋮ Algeo: an algebraic approach to reversibility ⋮ Equivalence of Two Formal Semantics for Functional Logic Programs ⋮ Expander2: Program Verification Between Interaction and Automation ⋮ Reporting Failures in Functional Logic Programs ⋮ Implementing Relational Specifications in a Constraint Functional Logic Language ⋮ Programmed Search in a Timetabling Problem over Finite Domains
This page was built for software: Curry
