scientific article

zbMath0467.68014MaRDI QIDQ3920616

Kamran Parsaye-Ghomi, Joseph A. Goguen

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

abstract data typesprogramming language semanticsOBJTsyntactic construction

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items

The rewriting logic semantics project, The rewriting logic semantics project: a progress report, Algebraic implementation of abstract data types, Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations, A rewriting logic approach to operational semantics, The Rewriting Logic Semantics Project: A Progress Report