2026-08-15T15:27:47Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:17833 2026-04-20T13:15:58Z ddc:004 open_access

Principles of Contract Languages (Dagstuhl Seminar 22451) Gurov, Dilian Hähnle, Reiner Huisman, Marieke Reger, Giles Lidström, Christian software contracts program specifications software development program analysis This report documents the program and the outcomes of Dagstuhl Seminar 22451 "Principles of Contract Languages". At the seminar, participants discussed the fundamental aspects of software contracts. Topics included the format and expressiveness of contracts, their use cases in software development and analysis, and contract composition and decomposition. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Dilian Gurov and Reiner Hähnle and Marieke Huisman and Giles Reger and Christian Lidström 2023 Is Part Of Dagstuhl Reports, Volume 12, Issue 11 (2023) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.12.11.1 urn:nbn:de:0030-drops-178334 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.11.1 eng https://creativecommons.org/licenses/by/4.0/legalcode