scientific article; zbMATH DE number 3631912

MaRDI QIDQ4192947zbMATH OpenFDO

Authors Bruno Courcelle

Publication date 1979

Full work available at URL https://eudml.org/doc/92088

zbMATH Keywords

Category of MagmasFormal Power SeriesMetric Compact MagmaProgramming SchemesSystems of Equations

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• A representation of trees by languages. I
• A representation of trees by languages. II
• An algebraic definition for control structures
• scientific article; zbMATH DE number 3578343 (Why is no real title available?)
• scientific article; zbMATH DE number 3597848 (Why is no real title available?)
• scientific article; zbMATH DE number 3617586 (Why is no real title available?)
• scientific article; zbMATH DE number 3448081 (Why is no real title available?)
• Initial Algebra Semantics and Continuous Algebras
• On the algebraic structure of rooted trees
• Program equivalence and context-free grammars
• The existence and construction of free iterative theories

Cited in

(6)

• Coinductive big-step operational semantics
• Fundamental properties of infinite trees
• Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Infinite trees in normal form and recursive equations having a unique solution
• Iterative factor algebras and induced metrics

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