Verification of file manipulation programs in the language PASCAL

MaRDI QIDQ1157145zbMATH OpenFDO

Authors V. A. Nepomnyashchij

Publication date 1981

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

zbMATH Keywords

partial correctness

Mathematics Subject Classification ID

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

Cited in

(3)

• Sublinear exaves
• Verification of a finite iteration over data structures
• Renormalization theory of a two dimensional Bose gas: quantum critical point and quasi-condensed state

This page was built for publication: Verification of file manipulation programs in the language PASCAL

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