scientific article; zbMATH DE number 4049006

MaRDI QIDQ3785902zbMATH OpenFDO

Authors Irina A. Lomazova

Publication date 1987

zbMATH Keywords

abstract data typesparameterized algebraic specificationsProcedural implementation

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• Publication:4721634
• Computer Science Logic
• Algorithmic specifications: a constructive specification method for abstract data types
• scientific article; zbMATH DE number 3900135
• scientific article; zbMATH DE number 3960980
• Decision procedures for algebraic data types with abstractions
• Algebraic implementation of abstract data types: a survey of concepts and new compositionality results
• Specification of abstract data types
• Reasoning about algebraic data types with abstractions

Cited in

(12)

• scientific article; zbMATH DE number 109221 (Why is no real title available?)
• scientific article; zbMATH DE number 33425 (Why is no real title available?)
• scientific article; zbMATH DE number 3888904 (Why is no real title available?)
• Compatibility of parameter passing and implementation of parameterized data types
• Algebraic implementation of abstract data types: a survey of concepts and new compositionality results
• Implementation of data types by algebraic methods
• scientific article; zbMATH DE number 3880079 (Why is no real title available?)
• An abstract data type for name analysis
• scientific article; zbMATH DE number 3995032 (Why is no real title available?)
• scientific article; zbMATH DE number 4128365 (Why is no real title available?)
• scientific article; zbMATH DE number 749802 (Why is no real title available?)
• Decision procedures for algebraic data types with abstractions

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