Document Open Access Logo

Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design (Artifact)

Authors Siddhartha Prasad , Ben Greenman , Tim Nelson , Shriram Krishnamurthi

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.11.2.12.pdf
  • Filesize: 1.04 MB
  • 11 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Human-centered computing → Visualization toolkits
  • Software and its engineering → Constraint and logic languages
  • Software and its engineering → Specification languages
Keywords
  • formal methods
  • diagramming
  • visualization
  • language design

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

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.

Cite As Get BibTex

Siddhartha Prasad, Ben Greenman, Tim Nelson, and Shriram Krishnamurthi. Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design (Artifact). In Special Issue of the 39th European Conference on Object-Oriented Programming (ECOOP 2025). Dagstuhl Artifacts Series (DARTS), Volume 11, Issue 2, pp. 12:1-12:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/DARTS.11.2.12

Author Details

Siddhartha Prasad
  • Brown University, Providence, RI, USA
Ben Greenman
  • University of Utah, Salt Lake City, UT, USA
Tim Nelson
  • Brown University, Providence, RI, USA
Shriram Krishnamurthi
  • Brown University, Providence, RI, USA

Artifact

  MD5 Sum: a6221177454f2cbbf678472986c1c9c2 (Get MD5 Sum)

Artifact Evaluation Policy

The artifact has been evaluated as described in the ECOOP 2025 Call for Artifacts and the ACM Artifact Review and Badging Policy.

Related Article

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact