Algebraic semantics of recursive flowchart schemes

DOI10.1016/S0019-9958(83)80032-1zbMath0544.68009OpenAlexW2094529318MaRDI QIDQ3334051

Hartmut Schmeck

Publication date: 1983

Published in: Information and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0019-9958(83)80032-1

zbMATH Keywords

algebraic semanticsrecursive schemealgebraic characterization of reducible flowchartsalgebraic fixed point semanticsrecursive flowchart schemesrecursive tree schemes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10) Higher-type and set recursion theory (03D65)

This page was built for publication: Algebraic semantics of recursive flowchart schemes