A logic for Miranda

DOI10.1007/BF01887213zbMath0694.68017OpenAlexW2056010911MaRDI QIDQ909443

Simon Thompson

Publication date: 1989

Published in: Formal Aspects of Computing (Search for Journal in Brave)

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

zbMATH Keywords

logicfunctional programmingprogram verificationmiranda

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items

A logic for Miranda, revisited

Uses Software

• Haskell
• Miranda
• Cambridge LCF

Cites Work

• Logic and Computation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item