scientific article; zbMATH DE number 3864473

zbMATH Open0543.68008MaRDI QIDQ3332227FDOQ3332227

Authors: Peter D. Mosses 

Publication date: 1984

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3956413
• Structured algebraic specifications: A kernel language
• On the algebraic definition of programming languages
• scientific article; zbMATH DE number 2186295
• An algebraic approach to semantics of programming languages

zbMATH Keywords

denotational semanticsabstract data typescorrectnessspecificationsmetatheoryAbstract Semantic Algebra

Mathematics Subject Classification ID

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

Cited In (9)

• Inferring the equivalence of functional programs that mutate data
• Title not available (Why is that?)
• Title not available (Why is that?)
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Category-sorted algebra-based action semantics
• Action Semantics in Retrospect
• Algebraic semantics for deductive systems
• Initial Algebra Semantics Is Enough!
• Title not available (Why is that?)

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 Q3332227)