scientific article; zbMATH DE number 1973220

zbMath1018.68500MaRDI QIDQ4421874

Germán Vidal, Elvira Albert, Sergio Antoy

Publication date: 1 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2042/20420103.htm

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Logic programming (68N17)

Related Items (3)

Improving the Efficiency of Non-Deterministic Computations1 1Supported in part by NSF grants INT-9981317 and CCR-0110496 and by the Spanish Knowledge Society Foundation, the Spanish Research Funding Agency (CICYT) TIC 2001-2705-C03-01, by Acción Integrade Hispano-Italiana HI2000-0161, and the Valencian Research Council under grant GV01-424. ⋮ Operational semantics for declarative multi-paradigm languages ⋮ The narrowing-driven approach to functional logic program specialization

Uses Software

• BABEL
• Kernel-LEAF
• TOY

This page was built for publication: