scientific article; zbMATH DE number 1950450

zbMath1037.68011MaRDI QIDQ4413065

Germán Vidal, Michael Hanus, Elvira Albert

Publication date: 17 July 2003

Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/S02-01.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Curry programsdeclarative partial evaluatormulti-paradigm functional logic language

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (10)

Rules + strategies for transforming lazy functional logic programs ⋮ Optimization of rewrite theories by equational partial evaluation ⋮ Symbolic Specialization of Rewriting Logic Theories with Presto ⋮ Operational semantics for declarative multi-paradigm languages ⋮ Partial evaluation of Maple ⋮ Type-based homeomorphic embedding for online termination ⋮ A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs ⋮ A partial evaluation framework for order-sorted equational programs modulo axioms ⋮ Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation ⋮ Preserving Sharing in the Partial Evaluation of Lazy Functional Programs

Uses Software

• BABEL
• ECCE

This page was built for publication: