Formal validation of pattern matching code (Q2917405)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formal validation of pattern matching code |
scientific article; zbMATH DE number 6088081
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal validation of pattern matching code |
scientific article; zbMATH DE number 6088081 |
Statements
28 September 2012
0 references
correctness proofs
0 references
compilers
0 references
pattern matching
0 references
validation
0 references
Formal validation of pattern matching code (English)
0 references