Click on a search word OR use the drop-down choices to search for a paper.
2021
Sketches, Queries, and Views: From Term-Graphs to Diagrammatic Term-Sketches Technical Report
2021.
Click on a search word OR use the drop-down choices to search for a paper.
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
@techreport{Diskin2021,
title = {Sketches, Queries, and Views: From Term-Graphs to Diagrammatic Term-Sketches},
author = {Zinovy Diskin and Patrick Stunkel},
url = {https://www.mcscert.ca/wp-content/uploads/2021/06/McSCert-Technical-Report-34.pdf},
year = {2021},
date = {2021-05-11},
urldate = {2021-05-11},
keywords = {diagrammatic operations, formal verification, Kleisli, model management, software engineering, term-graphs},
pubstate = {published},
tppubtype = {techreport}
}