A Complete Language for Faceted Dataflow Programs

June 13, 2019 · The Ethereal · 🏛 ACT

🔮 THE ETHEREAL: The Ethereal
Pure theory — exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Antonin Delpeuch arXiv ID 1906.05937 Category cs.LO: Logic in CS Cross-listed cs.DB, math.CT Citations 7 Venue ACT Last Checked 5 months ago
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.
Community shame:
Not yet rated
📄 View on arXiv 🌐 View on ar5iv 📑 PDF 🎉 Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

📜 Similar Papers

In the same crypt — Logic in CS