A Monadic Calculus with Episodic Flows
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866909463650238464 |
|---|---|
| author | Henning, Sotirios |
| author_facet | Henning, Sotirios |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_07939 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A Monadic Calculus with Episodic Flows Henning, Sotirios Symbolic Computation 68W30 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. |
| title | A Monadic Calculus with Episodic Flows |
| topic | Symbolic Computation 68W30 |
| url | https://arxiv.org/abs/2412.07939 |