swMATH8981MaRDI QIDQ20976FDOQ20976
Author name not available (Why is that?)
Official website: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.7348
Cited In (88)
- Algeo
- Mau-Dev
- Symbolic analysis of Maude theories with Narval
- Needed computations shortcutting needed steps
- From Boolean equalities to constraints
- Default rules for Curry
- Compiling collapsing rules in certain constructor systems
- A partial evaluation framework for order-sorted equational programs modulo axioms
- Programming with narrowing: a tutorial
- Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
- Programmed search in a timetabling problem over finite domains
- Rewriting strategies and strategic rewrite programs
- An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
- Dynamic state restoration using versioning exceptions
- Transforming Boolean equalities into constraints
- Implementing relational specifications in a constraint functional logic language
- Trends in trends in functional programming 1999/2000 versus 2007/2008
- Equivalence of two formal semantics for functional logic programs
- From Logic to Functional Logic Programs
- Title not available (Why is that?)
- An integrated framework for the diagnosis and correction of rule-based programs
- A Focused Sequent Calculus for Higher-Order Logic
- GrGen
- Compiling a functional logic language: \textit{The Fair Scheme}
- Title not available (Why is that?)
- CLAIRE
- Fujaba
- Ivor
- Oz
- MOSILAB
- PORGY
- Euclide
- KiCS2
- Mercury
- Kima
- Kernel-LEAF
- TituRel
- Alfalfa
- Camlflow
- TeaBag
- EasyCheck
- ChC 3
- TOY
- ASF+SDF
- OpenRuleBench
- CoCasl
- Freja
- Hat
- Hood
- PAKCS
- FLORA
- A monadic semantics for core Curry
- Purely functional lazy non-deterministic programming
- GHC
- Datafun
- Theseus
- KANREN
- miniKanren
- Luck
- EXPANDER
- CHR.js
- FlatCurry
- nofib
- PFLP
- DiSCiPl
- ABETS
- ACUOS2
- Decidability of bounded higher-order unification
- Functional logic programming in Maude
- Beginner's luck: a language for property-based generators
- CauDEr
- Flix
- GLINTS
- Transformation and debugging of functional logic programs
- Rules + strategies for transforming lazy functional logic programs
- SEViz
- BearSSL
- Programmable rewriting strategies in Haskell (white paper)
- Functional and Logic Programming
- Title not available (Why is that?)
- Functional Logic Programming: From Theory to Curry
- A strategy language for graph rewriting
- A debugging scheme for functional logic programs
- Title not available (Why is that?)
- Declarative debugging of functional logic programs
- Expander2: program verification between interaction and automation
- Reporting failures in functional logic programs
- Algeo: an algebraic approach to reversibility
This page was built for software: Curry
