A simple, verified validator for software pipelining (Q5255064)
From MaRDI portal
scientific article; zbMATH DE number 6445086
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A simple, verified validator for software pipelining |
scientific article; zbMATH DE number 6445086 |
Statements
A simple, verified validator for software pipelining (English)
0 references
11 June 2015
0 references
software pipelining
0 references
symbolic evaluation
0 references
translation validation
0 references
verified compilers
0 references
