scientific article; zbMATH DE number 4014011

MaRDI QIDQ3026326zbMATH OpenFDO

Authors Andrzej Tarlecki, Martin Wirsing

Publication date 1986

zbMATH Keywords

inequalitiesfunctional languagealgebraic hierarchical specificationscontinuous abstract data typeuniversally quantified variables

Mathematics Subject Classification ID

Data structures (68P05)

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

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
• scientific article; zbMATH DE number 4111987 (Why is no real title available?)
• 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)