scientific article; zbMATH DE number 4047044

MaRDI QIDQ3783502zbMATH OpenFDO

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

Publication date 1986

zbMATH Keywords

arraysmodulesNonprocedural semanticsProgram synthesisrecurrence equationsregular data structures

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Synthesis of the programmed functions offor loops on data structures
• Inductive syntactic synthesis of programs with FOR loops and interpreted functions
• Composition of loop modules in the structural blanks approach to programming with recurrences: a task of synthesis of nested loops
• Algebra-Based Reasoning for Loop Synthesis
• scientific article; zbMATH DE number 4124987

Cited in

(3)

• Synthesizing loops for program inversion
• Composition of loop modules in the structural blanks approach to programming with recurrences: a task of synthesis of nested loops
• Synthesis of the programmed functions offor loops on data structures

This page was built for publication:

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