A logic for Miranda, revisited

DOI10.1007/BF01211216MaRDI QIDQ1903076zbMATH OpenFDO

Authors Simon Thompson

Publication date 5 December 1995

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

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

zbMATH Keywords

Isabelle proof toolMiranda functional programming language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A logic for Miranda
• scientific article; zbMATH DE number 3951980
• scientific article; zbMATH DE number 108367
• Extensions of logic programming. International workshop, Tübingen, FRG, 8--10 December 1989. Proceedings
• Lawful functions and program verification in miranda

Cites work

• A logic for Miranda
• scientific article; zbMATH DE number 4090779 (Why is no real title available?)
• scientific article; zbMATH DE number 194911 (Why is no real title available?)
• Logic and Computation

Cited in

(3)

• Axioms for strict and lazy functional programs
• A logic for Miranda
• Lawful functions and program verification in miranda

Describes a project that uses

Uses Software

• Isabelle
• Haskell
• ML
• Miranda
• Cambridge LCF

This page was built for publication: A logic for Miranda, revisited

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