scientific article; zbMATH DE number 4049006
From MaRDI portal
Publication:3785902
zbMATH Open0643.68013MaRDI QIDQ3785902FDOQ3785902
Authors: Irina A. Lomazova
Publication date: 1987
Title of this publication is not available (Why is that?)
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)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebraic implementation of abstract data types: a survey of concepts and new compositionality results
- Title not available (Why is that?)
- Title not available (Why is that?)
- Decision procedures for algebraic data types with abstractions
- Compatibility of parameter passing and implementation of parameterized data types
- An abstract data type for name analysis
- Title not available (Why is that?)
- Implementation of data types by algebraic methods
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)