A Monadic Calculus with Episodic Flows
| Autor: | Henning, Sotirios |
|---|---|
| Rok vydání: | 2024 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | We define computational atoms named "actions" equipped primarily with three operations: reduction, collection, and inspection. We show how actions can be used for decision-making algorithms from simple axioms. We describe the encodings of typical data structures as actions, and provide a method of analysis for algorithms on the basis of data mutation. Comment: 18 pages, 2 figures |
| Databáze: | arXiv |
| Externí odkaz: |
|