The relation between logic programming and logic specification

From MaRDI portal

Revision as of 14:10, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3341879

Jump to:navigation, search

DOI10.1098/rsta.1984.0064zbMath0549.68018OpenAlexW2042427946MaRDI QIDQ3341879

No author found.

Publication date: 1984

Published in: Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1098/rsta.1984.0064

zbMATH Keywords

program specification logic programming predicate logic program verification program derivation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99) Classical first-order logic (03B10) General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items (4)

Correctness and Completeness of Logic Programs ⋮ LOGIC DERIVATION OF PARALLEL LINEAR EQUATION SYSTEM SOLVERS WITHIN ELIMINATION STRATEGY ⋮ On Completeness of Logic Programs ⋮ Logical debugging

This page was built for publication: The relation between logic programming and logic specification

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3341879&oldid=16588727"