Principles of Contract Languages: Dagstuhl Seminar 22451

Dilian Gurov; Reiner Hähnle; Marieke Huisman; Giles Reger; Christian Lidström

doi:10.4230/DagRep.12.11.1

Principles of Contract Languages: Dagstuhl Seminar 22451

Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, Christian Lidström

Research output: Contribution to journal › Conference article › Academic › peer-review

80 Downloads (Pure)

Abstract

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.

Original language	English
Pages (from-to)	1-27
Number of pages	27
Journal	Dagstuhl reports
Volume	12
Issue number	11
DOIs	https://doi.org/10.4230/DagRep.12.11.1
Publication status	Published - 4 May 2023
Event	Dagstuhl Seminar 22451: Principles of Contract Languages - Schloss Dagstuhl, Wadern, Germany Duration: 6 Nov 2022 → 11 Nov 2022 https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/22451?highlight=22451

Access to Document

10.4230/DagRep.12.11.1Licence: CC BY

DagRep.12.11.1Final published version, 1.93 MBLicence: CC BY

Cite this

@article{de570d05fd50474cbfe0fd5519b6b52d,

title = "Principles of Contract Languages: Dagstuhl Seminar 22451",

abstract = "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.",

author = "Dilian Gurov and Reiner H{\"a}hnle and Marieke Huisman and Giles Reger and Christian Lidstr{\"o}m",

year = "2023",

month = may,

day = "4",

doi = "10.4230/DagRep.12.11.1",

language = "English",

volume = "12",

pages = "1--27",

journal = "Dagstuhl reports",

issn = "2192-5283",

publisher = "Dagstuhl",

number = "11",

note = "Dagstuhl Seminar 22451 : Principles of Contract Languages ; Conference date: 06-11-2022 Through 11-11-2022",

url = "https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/22451?highlight=22451",

}

TY - JOUR

T1 - Principles of Contract Languages

T2 - Dagstuhl Seminar 22451

AU - Gurov, Dilian

AU - Hähnle, Reiner

AU - Huisman, Marieke

AU - Reger, Giles

AU - Lidström, Christian

PY - 2023/5/4

Y1 - 2023/5/4

N2 - 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.

AB - 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.

U2 - 10.4230/DagRep.12.11.1

DO - 10.4230/DagRep.12.11.1

M3 - Conference article

SN - 2192-5283

VL - 12

SP - 1

EP - 27

JO - Dagstuhl reports

JF - Dagstuhl reports

IS - 11

Y2 - 6 November 2022 through 11 November 2022

ER -

Principles of Contract Languages: Dagstuhl Seminar 22451

Abstract

Access to Document

Fingerprint

Cite this