scientific article; zbMATH DE number 1222421

zbMath0926.03034MaRDI QIDQ4217944

Tom Kemp, Grant Malcolm, Joseph A. Goguen

Publication date: 29 November 1999

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

zbMATH Keywords

algebraic specificationscategory theoryhidden algebrasinitial algebrabehavioural satisfiabilitylogical foundations of object-oriented programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Related Items

Bisimulation and Hidden Algebra, A hidden agenda, A hidden Herbrand theorem: Combining the object and logic paradigms