License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.12.11.1
URN: urn:nbn:de:0030-drops-178334
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/17833/
Gurov, Dilian ;
Hähnle, Reiner ;
Huisman, Marieke ;
Reger, Giles ;
Lidström, Christian
Weitere Beteiligte (Hrsg. etc.): Dilian Gurov and Reiner Hähnle and Marieke Huisman and Giles Reger and Christian Lidström
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.
BibTeX - Entry
@Article{gurov_et_al:DagRep.12.11.1,
author = {Gurov, Dilian and H\"{a}hnle, Reiner and Huisman, Marieke and Reger, Giles and Lidstr\"{o}m, Christian},
title = {{Principles of Contract Languages (Dagstuhl Seminar 22451)}},
pages = {1--27},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {11},
editor = {Gurov, Dilian and H\"{a}hnle, Reiner and Huisman, Marieke and Reger, Giles and Lidstr\"{o}m, Christian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2023/17833},
URN = {urn:nbn:de:0030-drops-178334},
doi = {10.4230/DagRep.12.11.1},
annote = {Keywords: software contracts, program specifications, software development, program analysis}
}
|
Keywords: |
|
software contracts, program specifications, software development, program analysis |
|
Collection: |
|
DagRep, Volume 12, Issue 11 |
|
Issue Date: |
|
2023 |
|
Date of publication: |
|
04.05.2023 |
