Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a doctoral research presentation on developing practical compositional diagramming systems for programming and theorem-proving environments. Learn about innovative approaches to creating diagrams that remain understandable and manageable as they grow in complexity, addressing key challenges in interactive and exploratory programming contexts. Discover how compositional diagramming breaks down diagrams into independent, systematically composed parts that reflect the structure of represented objects, with the system compiling higher-level descriptions into lower-level diagram components. Examine practical techniques including wrapping, folding, and packing that enhance diagram usability within the compositional framework. Understand the research goals of building useful diagramming tools for computer scientists, mathematicians, and programmers based on improved understanding of compositional diagram principles. This presentation from the Doctoral Symposium at ICFP/SPLASH 2025 offers insights into addressing the current limitations of diagramming systems that fail to meet the practical needs of modern programming and mathematical proof environments.
