scientific article; zbMATH DE number 3864473

MaRDI QIDQ3332227zbMATH OpenFDO

Authors Peter D. Mosses

Publication date 1984

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)

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

Cited in

(9)

• Inferring the equivalence of functional programs that mutate data
• scientific article; zbMATH DE number 3956413 (Why is no real title available?)
• scientific article; zbMATH DE number 4185042 (Why is no real title available?)
• 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!
• scientific article; zbMATH DE number 3905828 (Why is no real title available?)

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)