scientific article; zbMATH DE number 3976306

zbMATH Open0604.68020MaRDI QIDQ3741027FDOQ3741027

Authors: A. V. Proskurin 

Publication date: 1985

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

initial algebrascorrectnessparameter passing semanticsparametrized abstract data typeparametrized algebraic specifications

Mathematics Subject Classification ID

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

Cited In (9)

• Title not available (Why is that?)
• A characterization of passing compatibility for parameterized specifications
• Title not available (Why is that?)
• Data type specification, parameterization and the power of specification techniques
• Semantic typing for parametric algebraic specifications
• Title not available (Why is that?)
• Compatibility of parameter passing and implementation of parameterized data types
• Parametrization for order-sorted algebraic specification
• Title not available (Why is that?)

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)