Synthesis of programs on data structures (Q1822231)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Synthesis of programs on data structures |
scientific article; zbMATH DE number 4001454
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Synthesis of programs on data structures |
scientific article; zbMATH DE number 4001454 |
Statements
Synthesis of programs on data structures (English)
0 references
1985
0 references
Special structural modules realizing traversal algorithms over various regions of data structures are proposed for use in program synthesis.
0 references
modules
0 references
traversal algorithms
0 references
program synthesis
0 references
