CALM
small_orange_diamond:PDF - Consistency as logical monotonicity.
- from
- Microservices
- added
- 2026-10-10
- likes
- 0
similar
-
Formal Logic maude.sip.ucm.es
Miguel Palomino.
-
Formal Foundations of Serverless Computing arxiv.org
small_orange_diamond:PDF - The serverless computing abstraction exposes several low-level operational details that make it hard for programmers to write and reason about their code. This paper sheds light on this problem by presenting λ, an operational semantics of the essence…
-
No silver bullet, by Brooks worrydream.com
Making a case for growing software in small increments :orange_book:.
-
Monae github.com
Monadic effects and equational reasoning.
-
Liquid ML github.com
-
SECO ceur-ws.org
small_orange_diamond:PDF - Understanding software ecosystems: a strategic modeling approach.
Microservices › Theory > Articles & Papers: “small_orange_diamond:PDF - Consistency as logical monotonicity.”