Program schemata as automata. I

DOI10.1016/S0022-0000(73)80034-0zbMath0298.68014OpenAlexW1973032250MaRDI QIDQ1214748

Joseph D. Rutledge

Publication date: 1973

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-0000(73)80034-0

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General topics in the theory of software (68N01)

Related Items (2)

Program schemata technique for propositional program logics: a 30-year history ⋮ On program schemata equivalence

Cites Work

• Unnamed Item
• On formalised computer programs
• Algebra automata I: Parallel programming as a prolegomena to the categorical approach
• Unsolvability in 3 × 3 Matrices
• Properties of Programs and the First-Order Predicate Calculus
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• On Ianov's Program Schemata

This page was built for publication: Program schemata as automata. I