A logic for Miranda, revisited

DOI10.1007/BF01211216zbMath0845.68018MaRDI QIDQ1903076

Simon Thompson

Publication date: 5 December 1995

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

zbMATH Keywords

Isabelle proof toolMiranda functional programming language

Mathematics Subject Classification ID

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

Related Items (1)

Axioms for strict and lazy functional programs

Uses Software

• Isabelle
• ML
• Haskell
• Miranda
• Cambridge LCF

Cites Work

• A logic for Miranda
• Logic and Computation
• Unnamed Item
• Unnamed Item

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