A Diagrammatic Basis for Computer Programming
By: Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore
Potential Business Impact:
Makes computer programs easier to draw and understand.
Tape diagrams provide a convenient graphical notation for arrows of rig categories, i.e., categories equipped with two monoidal products, $\oplus$ and $\otimes$. In this work, we introduce Kleene-Cartesian rig categories, namely rig categories where $\otimes$ provides a Cartesian bicategory, while $\oplus$ a Kleene bicategory. We show that the associated tape diagrams can conveniently deal with imperative programs and various program logic.
Similar Papers
String Diagrams for Closed Symmetric Monoidal Categories
Logic in Computer Science
Draws math ideas with pictures, making them easier.
One rig to control them all
Logic in Computer Science
Makes computers follow instructions more easily.
On Circuit Description Languages, Indexed Monads, and Resource Analysis
Programming Languages
Lets computers build better, smaller circuits.