scientific article
From MaRDI portal
Publication:3332227
zbMath0543.68008MaRDI QIDQ3332227
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
correctnessdenotational semanticsspecificationsabstract data typesmetatheoryAbstract Semantic Algebra
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) Theory of computing (68Q99)
Related Items (4)
Category-sorted algebra-based action semantics ⋮ Action Semantics in Retrospect ⋮ Inferring the equivalence of functional programs that mutate data ⋮ Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
This page was built for publication:
