scientific article; zbMATH DE number 4050953

MaRDI QIDQ3787445zbMATH OpenFDO

Authors Eric G. Wagner

Publication date 1988

zbMATH Keywords

block structureDHT-symmetric categoriesEDHT-categorymathematical modeling of imperative programming languagesprimitive recursion

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(5)

• Stores as homomorphisms and their transformations: A uniform approach to structured types in imperative languages
• scientific article; zbMATH DE number 3936500 (Why is no real title available?)
• An imperative language based on distributive categories
• scientific article; zbMATH DE number 3999259 (Why is no real title available?)
• An algebraically specified language for data directed design

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