Declarative programming: a logical view

DOI10.1016/S1571-0661(04)00302-0zbMATH Open1268.03034OpenAlexW1551778436MaRDI QIDQ2841254

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

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

Related Items (1)

An approach to declarative programming based on a rewriting logic

Recommendations

• On the algebraic structure of declarative programming languages 👍 👎
• A new framework for declarative programming 👍 👎
• Deduction and Declarative Programming 👍 👎
• Declarative Logic Programming: Theory, Systems, and Applications 👍 👎
• An approach to declarative programming based on a rewriting logic 👍 👎
• Verification: Theory and Practice 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)