sle2024s/paper03

SLE 2024 SI paper:
Collection skeletons: Declarative abstractions for data collections

Björn Franke, Zhibo Li, John Magnus Morton, Michel Steuwer

• DOI: 10.1016/j.jss.2024.112042
• Extended version of Collection Skeletons: Declarative Abstractions for Data Collections (SLE 2022)
• T3F: API
  • The paper proposes a declarative, property-driven interface (an API-level abstraction) for working with data collections via “collection skeletons.”
• T4D: Interpretation
  • It discusses/realizes different runtime interpretations/implementations of the same declarative skeleton specification (e.g., alternative backends/execution strategies).
• T5F: Performance
  • Performance/overhead considerations are central, with evaluation of the approach’s cost and practical impact.
• T1D: Composition
  • A key idea is separating and composing specification vs. implementation choices, enabling modular combination of skeletons and execution variants.

---

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