Declarative Programming with Function Patterns

DOI10.1007/11680093_2MaRDI QIDQ5302877zbMATH OpenOpenAlexWikidataFDO

Authors Sergio Antoy, Michael Hanus

Publication date 15 January 2009

Published in Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11680093_2

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1942452
• scientific article; zbMATH DE number 4043306
• Functional Logic Programming: From Theory to Curry
• An approach to declarative programming based on a rewriting logic
• Database query languages and functional logic programming

Cited in

(10)

• Overlapping Rules and Logic Variables in Functional Logic Programs
• Programming with narrowing: a tutorial
• Declaring numbers
• scientific article; zbMATH DE number 1942452 (Why is no real title available?)
• A Relation Algebraic Semantics for a Lazy Functional Logic Language
• scientific article; zbMATH DE number 7455733 (Why is no real title available?)
• Denotation by Transformation
• Functional Logic Programming: From Theory to Curry
• Lazy database access with persistent predicates
• Default rules for Curry

This page was built for publication: Declarative Programming with Function Patterns

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5302877)