scientific article; zbMATH DE number 4068250

MaRDI QIDQ3801053zbMATH OpenFDO

Authors Irina A. Lomazova

Publication date 1987

zbMATH Keywords

abstract data typeaxiomatic specificationscyclic programsdata typesformalized modelsoperational semanticspartial correctnessprogram correctnessprogram semanticsside effectsverification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4058826
• Logics of programs as a fuelling force for semantics
• The mathematical construction of a program
• The axiomatic semantics of programs based on Hoare's logic
• Publication:4944895
• scientific article; zbMATH DE number 3990844
• Towards reasoning about Hoare relations
• scientific article; zbMATH DE number 3936490
• scientific article; zbMATH DE number 4028879

Cited in

(1)

• scientific article; zbMATH DE number 4189708 (Why is no real title available?)

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 Q3801053)