An approach to declarative programming based on a rewriting logic
From MaRDI portal
Publication:4700443
DOI10.1016/S0743-1066(98)10029-8zbMath0942.68060MaRDI QIDQ4700443
Mario Rodríguez Artalejo, Francisco J. López Fraguas, M. Teresa Hortalá-González, Juan Carlos Gonzalez-Moreno
Publication date: 1 November 1999
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items
Constraint functional logic programming over finite domains, Rewriting and Call-Time Choice: The HO Case, Denotation by Transformation, A declarative framework for object-oriented programming with genetic inheritance, Database query languages and functional logic programming, A new generic scheme for functional logic programming with constraints, Rewriting logic: Roadmap and bibliography, Operational semantics for declarative multi-paradigm languages, Evaluation strategies for functional logic programming, A Relation Algebraic Semantics for a Lazy Functional Logic Language, On a Tighter Integration of Functional and Logic Programming
Uses Software