2026-07-24T09:36:10Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:23355 2025-06-25T13:23:38Z ddc:004 open_access

Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design (Artifact) Prasad, Siddhartha Greenman, Ben Nelson, Tim Krishnamurthi, Shriram formal methods diagramming visualization language design This artifact supports the paper “Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design.” It provides an implementation of Cope and Drag (CnD), a lightweight diagramming language grounded in cognitive principles and a corpus analysis of existing visualizations. CnD enables users to define diagrams using a small set of orthogonal primitives that capture essential domain structure while avoiding the complexity of writing full visualization programs. The artifact allows exploration of CnD’s implementation and reproduction of claims made in the accompanying paper. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Siddhartha Prasad and Ben Greenman and Tim Nelson and Shriram Krishnamurthi 2025 Is Part Of DARTS, Volume 11, Issue 2, Special Issue of the 39th European Conference on Object-Oriented Programming (ECOOP 2025) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.11.2.12 urn:nbn:de:0030-drops-233552 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.11.2.12 eng https://creativecommons.org/licenses/by/4.0/legalcode