Synthesis of implementations for divide-and-conquer specifications (Q6113901)
From MaRDI portal
scientific article; zbMATH DE number 7724797
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Synthesis of implementations for divide-and-conquer specifications |
scientific article; zbMATH DE number 7724797 |
Statements
Synthesis of implementations for divide-and-conquer specifications (English)
0 references
10 August 2023
0 references
implementation
0 references
synthesis
0 references
design tactics
0 references
