Principles of Contract Languages (Dagstuhl Seminar 22451)
| Autor: | Gurov, Dilian, Hähnle, Reiner, Huisman, Marieke, Reger, Giles, Lidström, Christian |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2023 |
| Předmět: | |
| DOI: | 10.4230/dagrep.12.11.1 |
| Popis: | 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. DagRep, Volume 12, Issue 11, pages 1-27 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|