scientific article; zbMATH DE number 4014011

zbMATH Open0624.68024MaRDI QIDQ3026326FDOQ3026326

Authors: Andrzej Tarlecki, Martin Wirsing 

Publication date: 1986

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

Recommendations

• A systematic study of models of abstract data types
• On the algebraic specification of infinite objects - ordered and continuous models of algebraic types
• Specification of abstract dynamic-data types: A temporal logic approach
• scientific article; zbMATH DE number 408790
• Publication:3028333

zbMATH Keywords

inequalitiesfunctional languagealgebraic hierarchical specificationscontinuous abstract data typeuniversally quantified variables

Mathematics Subject Classification ID

Data structures (68P05)

Cited In (9)

• A logic of recursion
• Abstract data types can have inequations
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• On the algebraic specification of infinite objects - ordered and continuous models of algebraic types
• An abstract data type for real numbers
• Title not available (Why is that?)
• Quasi-varieties in abstract algebraic institutions
• A systematic study of models of abstract data types
• Combining data type and recursive process specifications using projection algebras

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