Formal validation of pattern matching code
type: Item
instance of: scholarly article
zbMATH Open document ID: 1247.68056
author: Claude Kirchner
author: Pierre-Etienne Moreau
author: Antoine Reilles
publication date: 2012-09-28T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68N20
zbMATH DE Number: 6088081
zbMATH Keywords: correctness proofs
zbMATH Keywords: compilers
zbMATH Keywords: pattern matching
zbMATH Keywords: validation
describes a project that uses: CHEVIE
describes a project that uses: ML
MaRDI profile type: Publication
full work available at URL: KirchnerMR06
OpenAlex ID: W1539793525
DOI: 10.4230/OASICS.TRUSTWORTHYSW.2006.697
title: Formal validation of pattern matching code
description: scientific article; zbMATH DE number 6088081