SLE 2024 paper:
Cooperative Specification via Composition Control

Christopher A. Esterhuyse, L. Thomas van Binsbergen

DOI: 10.1145/3687997.3695635
T1D: Composition
- The core contribution is language support for controlling how independently authored specification fragments are composed.
T1A: Design
- It introduces and motivates concrete language extensions for composition control in multiple specification languages.
T3C: DSLs
- The work is demonstrated on declarative specification languages used as DSLs for expressing domain constraints.
T5A: Requirements
- Cooperative fragments are framed as capturing requirements from different stakeholders that must be reconciled.

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.