2026-07-23T05:28:40Z https://drops.dagstuhl.de/oai

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

Contract Systems Need Domain-Specific Notations (Artifact) Moy, Cameron Jung, Ryan Felleisen, Matthias software contracts domain-specific languages Contract systems enable programmers to state specifications and have them enforced at run time. First-order contracts are expressed using ordinary code, while higher-order contracts are expressed using the notation familiar from type systems. Most interface descriptions, though, come with properties that involve not just assertions about single method calls, but entire call chains. Typical contract systems cannot express these specifications concisely. Such specifications demand domain-specific notations. In response, the related article proposes that contract systems abstract over the notation used for stating specifications. It presents an architecture for such a system, some illustrative examples, and an evaluation in terms of common notations from the literature. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Cameron Moy and Ryan Jung and Matthias Felleisen 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.4 urn:nbn:de:0030-drops-233472 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.11.2.4 eng https://creativecommons.org/licenses/by/4.0/legalcode