Verification of tree-processing programs via higher-order mode checking (Q5740641)
From MaRDI portal
scientific article; zbMATH DE number 6606927
Language | Label | Description | Also known as |
---|---|---|---|
English | Verification of tree-processing programs via higher-order mode checking |
scientific article; zbMATH DE number 6606927 |
Statements
Verification of tree-processing programs via higher-order mode checking (English)
0 references
27 July 2016
0 references
0 references