scientific article; zbMATH DE number 3651738

MaRDI QIDQ3851612zbMATH OpenFDO

Authors James W. Thatcher, Jesse B. Wright, Eric G. Wagner

Publication date 1979

zbMATH Keywords

abstract data typesalgebraic foundations of theoretical computer sciencealgebraic semanticsalgebraic theoriescategoriescontext-free grammarsequational classesflow chartgraphsheterogeneous algebrasposetsuniversal algebra

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02) Algebraic structures (08A99) Categories of algebras (08C05) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Categories of machines, automata (18B20) Special categories (18B99) Theories (e.g., algebraic theories), structure, and semantics (18C10) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Data structures (68P05) Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65)

Cited in

(9)

• On P-dominions of continuous algebras
• On context-free trees
• On flowchart theories. I. The deterministic case
• Recursion-closed algebraic theories
• Hierarchical development of programming languages
• Classes of finite relations as initial abstract data types. I
• A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
• Generalized filter models
• The algebra of stream processing functions

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