Definable operations in general algebras, and the theory of automata and flowcharts-Reference-Cited by-同舟云学术

Definable operations in general algebras, and the theory of automata and flowcharts

Published: Issue: Volume: Page:30-55
ISSN:
Container-title:Programming Languages and Their Definition
language:
Short-container-title:

Author:

Bekić Hans

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/BFb0048939.pdf

Reference15 articles.

1. J. W. de Bakker, D. Scott: A theory of programs. — IBM Seminar Vienna, August 1969 (unpublished).

2. M. R. Bird: Binary relations and flow-diagrams. — Memorandum No.11, Sept. 1969, Computer and Logic Research Group, University of Swansea.

3. R. M. Burstall, P. Landin: Programs and their proofs: an algebraic approach. — Machine Intelligence 4, (B. Meltzer, D. Michie Eds.), Edinburgh University Press 1969.

4. P. M. Cohn: Universal algebra. — Harper Row. New York — London 1965.

5. S. Eilenberg, J. B. Wright: Automata in general algebras. — Information and Control 11, 4, Oct. 1967.

Cited by 30 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A proof theory of right-linear (ω-)grammars via cyclic proofs;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

2. Newtonian Program Analysis of Probabilistic Programs;Proceedings of the ACM on Programming Languages;2024-04-29

3. A Robust Theory of Series Parallel Graphs;Proceedings of the ACM on Programming Languages;2023-01-09

4. Make Flows Small Again: Revisiting the Flow Framework;Tools and Algorithms for the Construction and Analysis of Systems;2023

5. An Abstract Contract Theory for Programs with Procedures;Fundamental Approaches to Software Engineering;2021