Lawful functions and program verification in miranda

DOI10.1016/0167-6423(90)90070-TzbMath0705.68078MaRDI QIDQ918222

Simon Thompson

Publication date: 1990

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

term rewritingprogram verificationfaithfulnessfunctional programming languagesMirandaalgebraic types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)

Related Items (1)

Pattern matching with abstract data types

Uses Software

• Miranda

This page was built for publication: Lawful functions and program verification in miranda