Kernel-LEAF
Kernel-LEAF: A logic plus functional language. Kernel-LEAF is a logic plus functional language based on the flattening technique. It differs from other similar languages because it is able to cope with partial (undefined or non-terminating) functions. This is achieved by introducing the distinction between data structures and (functional) term structures, and by using two kinds of equality. The language has a clean model-theoretic semantics, where the domains of the interpretations are the algebraic CPOs. In these domains the difference between the two equalities corresponds to a different behaviour with respect to continuity. The operational semantics (based on SLD-resolution) is proved sound and complete with respect to the model-theoretic one. Finally, an outermost strategy, more efficient than unrestricted SLD-resolution, but still complete, is presented.
Keywords for this software
References in zbMATH (referenced in 24 articles )
Showing results 1 to 20 of 24.
Sorted by year (- Hanus, Michael: Functional logic programming: from theory to Curry (2013)
- Alpuente, M.; Ballis, D.; Correa, F.; Falaschi, M.: An integrated framework for the diagnosis and correction of rule-based programs (2010)
- Antoy, Sergio: Programming with narrowing: a tutorial (2010)
- Ramos, J.Guadalupe; Silva, Josep; Vidal, Germán: Ensuring the quasi-termination of needed narrowing computations (2007)
- Simon, Luke; Bansal, Ajay; Mallya, Ajay; Gupta, Gopal: Co-logic programming: Extending logic programming with coinduction (2007)
- Albert, Elvira; Hanus, Michael; Huch, Frank; Oliver, Javier; Vidal, Germán: Operational semantics for declarative multi-paradigm languages (2005)
- Antoy, Sergio: Evaluation strategies for functional logic programming (2005)
- Escobar, Santiago; Meseguer, José; Thati, Prasanna: Natural narrowing for general term rewriting systems (2005)
- Peltier, Nicolas: A proof procedure for functional first order logic programs with non-deterministic lazy functions and built-in predicates (2004)
- Vidal, Germán: Cost-augmented partial evaluation of functional logic programs (2004)
- Albert, Elvira; Vidal, Germán: The narrowing-driven approach to functional logic program specialization (2002)
- Albert, Elvira: Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency (2001)
- Albert, Elvira; Antoy, Sergio; Vidal, Germán: Measuring the effectiveness of partial evaluation in functional logic languages (2001)
- Almendros-Jiménez, Jesús M.; Becerra-Terón, Antonio: A framework for goal-directed bottom-up evaluation of functional logic programs (2001)
- Arenas-Sánchez, Puri; Rodríguez-Artalejo, Mario: A general framework for lazy functional logic programming with algebraic polymorphic types (2001)
- Bueno, Francisco; García de la Banda, María; Hermenegildo, Manuel; Marriott, Kim; Puebla, Germán; Stuckey, Peter J.: A model for inter-module analysis and optimizing compilation (2001)
- Alpuente, María; Falaschi, Moreno; Levi, Giorgio: Incremental constraint satisfaction for equational logic programming (1995)
- Suzuki, Taro; Middeldorp, Aart; Ida, Tetsuo: Level-confluence of conditional rewrite systems with extra variables in right-hand sides (1995)
- Middeldorp, Aart; Hamoen, Erik: Completeness results for basic narrowing (1994)
- González-Moreno, Juan Carlos; Hortalá-González, María Teresa; Rodríguez-Artalejo, Mario: On the completeness of narrowing as the operational semantics of functional logic programming (1993)