Derivation of logic programs by functional methods

DOI10.1016/0020-0190(91)90006-4zbMath0751.68013OpenAlexW2100872352MaRDI QIDQ1183419

A. Bijlsma

Publication date: 28 June 1992

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/19386

zbMATH Keywords

program specificationfunctional programmingprogram derivation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Cites Work

• The Semantics of Predicate Logic as a Programming Language
• A Transformation System for Developing Recursive Programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item