Synthesis of programs on data structures

zbMath0617.68017MaRDI QIDQ1822231

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

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

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