Program specification by typed Gurevich machines

MaRDI QIDQ2718774zbMATH OpenFDO

Authors Alexandre V. Zamulin

Publication date 9 May 2001

Published in Proceedings of the Estonian Academy of Sciences. Physics, Mathematics (Search for Journal in Brave)

zbMATH Keywords

many-sorted algebraprogram specificationtyped Gurevich machines

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1498422
• scientific article; zbMATH DE number 1534582
• A mechanism for the formal description of dynamic systems
• scientific article; zbMATH DE number 743582
• Transition specifications for dynamic abstract data types

Cited in

(9)

• Swinging types=functions+relations+transition systems
• Guarded transitions in evolving specifications
• scientific article; zbMATH DE number 1822438 (Why is no real title available?)
• scientific article; zbMATH DE number 1498422 (Why is no real title available?)
• scientific article; zbMATH DE number 1534582 (Why is no real title available?)
• Programming with variable functions
• Programming with variable functions
• A mechanism for the formal description of dynamic systems
• An evolving algebra abstract machine

This page was built for publication: Program specification by typed Gurevich machines

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