Lawful functions and program verification in miranda
type: Item
instance of: scholarly article
title: Lawful functions and program verification in miranda
zbMATH Open document ID: 0705.68078
DOI: 10.1016/0167-6423(90)90070-T
author: Simon Thompson
published in: Science of Computer Programming
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 4157903
zbMATH Keywords: functional programming languages
zbMATH Keywords: faithfulness
zbMATH Keywords: Miranda
zbMATH Keywords: algebraic types
zbMATH Keywords: term rewriting
zbMATH Keywords: program verification
describes a project that uses: Miranda
MaRDI profile type: Publication
Recommended article: Laws of mission-based programming
Recommended article: A logic for Miranda, revisited
Recommended article: Q4003356
Recommended article: A logic for Miranda
Recommended article: A Vindication of Program Verification
Recommended article: Q3012541
description: scientific article; zbMATH DE number 4157903