Algebraic semantics of recursive flowchart schemes

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

Hartmut Schmeck

Publication date: 1983

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

zbMATH Keywords

algebraic semantics; recursive scheme; algebraic characterization of reducible flowcharts; algebraic fixed point semantics; recursive flowchart schemes; recursive tree schemes

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

18C10: Theories (e.g., algebraic theories), structure, and semantics

03D65: Higher-type and set recursion theory