Declarative programming: a logical view

DOI10.1016/S1571-0661(04)00302-0MaRDI QIDQ2841254zbMATH OpenOpenAlexFDO

Authors John N. Crossley

Publication date 24 July 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)00302-0

Mathematics Subject Classification ID

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

Recommendations

• An approach to declarative programming based on a rewriting logic
• Deduction and Declarative Programming
• scientific article; zbMATH DE number 10085
• A new framework for declarative programming
• Declarative Logic Programming: Theory, Systems, and Applications
• scientific article; zbMATH DE number 785048
• A logic of object-oriented programs
• scientific article; zbMATH DE number 86272
• On the algebraic structure of declarative programming languages
• scientific article; zbMATH DE number 3848602

Cited in

(2)

• scientific article; zbMATH DE number 1203405 (Why is no real title available?)
• An approach to declarative programming based on a rewriting logic

This page was built for publication: Declarative programming: a logical view

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