Click on a search word OR use the drop-down choices to search for a paper.

Show all

2021

Diskin, Zinovy; Stunkel, Patrick

Sketches, Queries, and Views: From Term-Graphs to Diagrammatic Term-Sketches Technical Report

2021.

Links | BibTeX | Tags: diagrammatic operations, formal verification, Kleisli, model management, software engineering, term-graphs

2020

Diskin, Zinovy; Stunkel, Patrick

Sketches, queries, views, and their Kleisli composition: towards universal algebra of diagrammatic operations with pre- and post-conditions Technical Report

2020.

Links | BibTeX | Tags: diagrammatic operations, diagrammatic reasoning, Kleisli composition, presheaves, sketches, software modeling