scientific article; zbMATH DE number 3976306

MaRDI QIDQ3741027zbMATH OpenFDO

Authors A. V. Proskurin

Publication date 1985

zbMATH Keywords

initial algebrascorrectnessparameter passing semanticsparametrized abstract data typeparametrized algebraic specifications

Mathematics Subject Classification ID

Data structures (68P05) Equational categories (18C05)

Recommendations

• Compositionality and compatibility of parameterization and parameter passing in specification languages
• Compatibility of parameter passing and implementation of parameterized data types
• scientific article; zbMATH DE number 3936501
• scientific article; zbMATH DE number 3936499
• A characterization of passing compatibility for parameterized specifications

Cited in

(9)

• A characterization of passing compatibility for parameterized specifications
• scientific article; zbMATH DE number 810100 (Why is no real title available?)
• scientific article; zbMATH DE number 3876566 (Why is no real title available?)
• Data type specification, parameterization and the power of specification techniques
• Semantic typing for parametric algebraic specifications
• scientific article; zbMATH DE number 3936501 (Why is no real title available?)
• Compatibility of parameter passing and implementation of parameterized data types
• Parametrization for order-sorted algebraic specification
• scientific article; zbMATH DE number 4133477 (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 Q3741027)