Debugging tools for a system with automatic program synthesis (Q801679)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3880097
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Debugging tools for a system with automatic program synthesis |
scientific article; zbMATH DE number 3880097 |
Statements
Debugging tools for a system with automatic program synthesis (English)
0 references
1983
0 references
The article considers some issues of debugging in systems with automatic program synthesis. Algorithms are proposed or determining the additional input variables for the synthesizer of the PRIZ programming system in case of unsolvable problems. Techniques of using the debug information are described.
0 references
debugging in systems
0 references
automatic program synthesis
0 references
PRIZ programming system
0 references
0.7646774053573608
0 references
0.7357166409492493
0 references
0.7357161045074463
0 references
0.7280839681625366
0 references
