scientific article
From MaRDI portal
Publication:3334056
zbMath0544.68015MaRDI QIDQ3334056
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
sortsequationpartial orderingoverloadingabstract data typeinitial algebra semanticserror and exception handlingalgebraic specification techniquessubsort
Related Items
On observational equivalence and algebraic specification ⋮ Quasi-varieties in abstract algebraic institutions ⋮ Another look at parameterization for oder-sorted algebraic specifications ⋮ Higher-order order-sorted algebras ⋮ Equational completion in order-sorted algebras ⋮ Semantics of order-sorted specifications ⋮ Shallow confluence of conditional term rewriting systems ⋮ An algebraic semantics of higher-order types with subtypes
