Principles of Contract Languages (Dagstuhl Seminar 22451)

Principles of Contract Languages (Dagstuhl Seminar 22451)

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Gurov, Dilian, Hähnle, Reiner, Huisman, Marieke, Reger, Giles, Lidström, Christian
Format: Report
Sprache:eng
Schlagworte:
program analysis
program specifications
software contracts
software development
Theory of computation → Program specifications
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:2192-5283
2192-5283
DOI:10.4230/dagrep.12.11.1