Singular and plural functions for functional logic programming

DOI10.1017/S147106841200004XzbMath1286.68057arXiv1203.2431OpenAlexW2113029157MaRDI QIDQ5410261

Adrián Riesco, Juan Rodríguez-Hortalá

Publication date: 16 April 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1203.2431

zbMATH Keywords

program transformationsemanticsterm rewritingMaudenon-deterministic functions

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Logic programming (68N17)

Related Items (1)

Fraktal and Differential Properties of the Inversor of Digits of Q s-Representation of Real Number

Uses Software

• Maude
• TOY

Cites Work

• Functional and constraint logic programming. 20th international workshop, WFLP 2011, Odense, Denmark, July 19th. Proceedings
• Computer programming and formal systems
• Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7--9, 2004. Proceedings.
• Operational semantics for declarative multi-paradigm languages
• 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.
• An overview of Ciao and its design philosophy
• Purely functional lazy non-deterministic programming
• An approach to declarative programming based on a rewriting logic
• Term Rewriting and All That
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Singular and plural functions for functional logic programming