Debugging tools for a system with automatic program synthesis

MaRDI QIDQ801679zbMATH OpenFDO

Authors M. B. Matskin

Publication date 1983

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

automatic program synthesisdebugging in systemsPRIZ programming system

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 3947593
• Logical debugging
• The programming system PRIZ
• The programming system PRIZ
• Debugging and monitoring distributed heterogeneous systems

Cited in

(4)

• Automatic synthesis of computation programs through analysis of variable semantics
• System debugging strategies
• scientific article; zbMATH DE number 3947593 (Why is no real title available?)
• scientific article; zbMATH DE number 2032315 (Why is no real title available?)

This page was built for publication: Debugging tools for a system with automatic program synthesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q801679)