2026-07-23T05:29:31Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:24297 2025-12-12T15:04:29Z ddc:004 open_access

Dimensions of Examples: Toward a Framework for Qualifying Examples in Programming Mattis, Toni Böhme, Lukas Ramson, Stefan Beckmann, Tom Rinard, Martin C. Hirschfeld, Robert Examples Live Programming Evaluation Programming requires understanding, using, and changing abstract source code and other representations of programs. Concrete examples demonstrate a particular instance of their abstract behavior. Hence, they play an important role in program comprehension, specification, and testing of requirements. Authoring examples entails a range of - often implicit - decisions about the content and presentation of the example. In this work, we attempt to structure this decision space by describing a set of dimensions that characterize examples in programming. As the manual effort of creating examples is increasingly automated, e.g., through the use of generative AI, we expect this catalog of dimensions to help users and tool developers parametrize, guide, and evaluate the generation of examples in terms of the vocabulary we present here. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Toni Mattis and Lukas Böhme and Stefan Ramson and Tom Beckmann and Martin C. Rinard and Robert Hirschfeld 2025 Is Part Of OASIcs, Volume 134, Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.Programming.2025.13 urn:nbn:de:0030-drops-242973 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Programming.2025.13 eng https://creativecommons.org/licenses/by/4.0/legalcode