Towards substructural property-based testing (Q6102253)
From MaRDI portal
scientific article; zbMATH DE number 7683154
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Towards substructural property-based testing |
scientific article; zbMATH DE number 7683154 |
Statements
Towards substructural property-based testing (English)
0 references
8 May 2023
0 references
linear logic
0 references
property-based testing
0 references
focusing
0 references
semantics of programming languages
0 references
0 references
0 references
0 references
