scientific article; zbMATH DE number 3714891

MaRDI QIDQ3906381zbMATH OpenFDO

Authors Joseph Goguen

Publication date 1979

zbMATH Keywords

algebraic specifications of programslanguageOBJ-0

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(4)

• Approximation properties of abstract data types
• From LCF to Isabelle/HOL
• Soundness in verification of algebraic specifications with OBJ
• Weak bisimulation as a congruence in MSOS

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