flame-stream / palco

Calco Python API implementation. Contract-based approach to declaratively specify distributed dataflows

distributed-systems stream-processing hoare-logic axiomatic-semantics optimization

This repository is not active

About

Calco Python API implementation. Contract-based approach to declaratively specify distributed dataflows

distributed-systems stream-processing hoare-logic axiomatic-semantics optimization

Languages

Language:Python 100.0%