Synthesis of the programmed functions offor loops on data structures

DOI10.1007/BF01075071MaRDI QIDQ3804172zbMATH OpenOpenAlexFDO

Authors V.s. Kostyrko

Publication date 1986

Published in Cybernetics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01075071

zbMATH Keywords

`for' loopsdata structuresprogram verificationsymbolic execution

Mathematics Subject Classification ID

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

Recommendations

• Synthesis of programs on data structures
• Inductive syntactic synthesis of programs with FOR loops and interpreted functions
• scientific article; zbMATH DE number 1203208
• scientific article; zbMATH DE number 3934387
• Synthesizing loops for program inversion
• A means for the structural synthesis of programs
• scientific article; zbMATH DE number 4047044
• Programmable program synthesis
• scientific article; zbMATH DE number 2090035

Cites work

• A note on the for statement
• scientific article; zbMATH DE number 3817018 (Why is no real title available?)
• scientific article; zbMATH DE number 3594619 (Why is no real title available?)
• Logical analysis of programs
• The synthesis of loop predicates

Cited in

(7)

• Verification of finite iterations over tuples of data structures
• Verification of finite iterations over collections of variable data structures
• A Heuristic for Deriving Loop Functions
• scientific article; zbMATH DE number 3874577 (Why is no real title available?)
• scientific article; zbMATH DE number 4047044 (Why is no real title available?)
• scientific article; zbMATH DE number 1534590 (Why is no real title available?)
• Generalizing specifications for uniformly implemented loops

This page was built for publication: Synthesis of the programmed functions offor loops on data structures

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