Formal Validation of Pattern Matching code

DOI10.4230/OASICS.TRUSTWORTHYSW.2006.697zbMath1247.68056OpenAlexW1539793525MaRDI QIDQ2917405

Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles

Publication date: 28 September 2012

Full work available at URL: https://dblp.uni-trier.de/db/conf/dagstuhl/P6000.html#KirchnerMR06

zbMATH Keywords

pattern matchingcompilersvalidationcorrectness proofs

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

A \(\rho\)-calculus of explicit constraint application ⋮ Canonical Abstract Syntax Trees

Uses Software

• CHEVIE
• Unnamed Item

This page was built for publication: Formal Validation of Pattern Matching code