Synthesis of programs on data structures

MaRDI QIDQ1822231zbMATH OpenFDO

Authors S. N. Greshnev, Eh. J. Lyubimskij, V. A. Chiras

Publication date 1985

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

zbMATH Keywords

modulesprogram synthesistraversal algorithms

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Review text

Special structural modules realizing traversal algorithms over various regions of data structures are proposed for use in program synthesis.

Cited in

(4)

• Data structures of programming languages as realization of the nominative data
• Synthesis of the programmed functions offor loops on data structures
• scientific article; zbMATH DE number 1241640 (Why is no real title available?)
• scientific article; zbMATH DE number 550330 (Why is no real title available?)

This page was built for publication: Synthesis of programs on data structures

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