Synthesis of the programmed functions offor loops on data structures

DOI10.1007/BF01075071zbMath0656.68024OpenAlexW2067367928MaRDI QIDQ3804172

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

data structuresprogram verificationsymbolic execution`for' loops

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Logical analysis of programs
• The synthesis of loop predicates
• A note on the for statement

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