Work

A Complete Language for Faceted Dataflow Programs

Year: 2020

Type: article

Abstract: We present a complete categorical axiomatization of a wide class of dataflow programs. This gives a three-dimensional diagrammatic language for workflows, more expressive than the directed acyclic graphs generally used for this purpose. This calls for an implementation of these representations in data transformation tools.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.323.1

Author: Antonin Delpeuch

Institution: University of Oxford

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funder: Engineering and Physical Sciences Research Council

OpenAlex ID: W2950596012

FWCI: 0.189

Cites: 20

Cited by: 3

Related to: 10