Generic validation of structural content with parametric modules (Q5178001)
From MaRDI portal
scientific article; zbMATH DE number 6413017
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generic validation of structural content with parametric modules |
scientific article; zbMATH DE number 6413017 |
Statements
Generic validation of structural content with parametric modules (English)
0 references
9 March 2015
0 references
ML
0 references
XML
0 references
fixed points
0 references
functional programming
0 references
modules and interfaces
0 references
validation
0 references
