scientific article; zbMATH DE number 4050950

MaRDI QIDQ3787442zbMATH OpenFDO

Authors Joylyn Reed

Publication date 1988

zbMATH Keywords

denotational semanticsmathematical specification languagetyped set theory

Mathematics Subject Classification ID

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

Recommendations

• Sets, types and type-checking
• scientific article; zbMATH DE number 2080003
• scientific article; zbMATH DE number 192880
• scientific article; zbMATH DE number 234029
• scientific article; zbMATH DE number 715447

Cited in

(4)

• Semantic integration of heterogeneous software specifications.
• scientific article; zbMATH DE number 1307376 (Why is no real title available?)
• scientific article; zbMATH DE number 1061008 (Why is no real title available?)
• Ott: Effective tool support for the working semanticist

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