scientific article; zbMATH DE number 3483540

zbMATH Open0308.68016MaRDI QIDQ4066567FDOQ4066567

Authors: Peter D. Mosses 

Publication date: 1975

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45)

Cited In (6)

• On observational equivalence and algebraic specification
• Category-sorted algebra-based action semantics
• Action Semantics in Retrospect
• A demonstrably correct compiler
• Two-level semantics and code generation
• Abstract data types and algebraic semantics of programming languages

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