Collection Skeletons: Declarative Abstractions for Data Collections

被引:0
|
作者
Franke, Björn [1 ]
Li, Zhibo [1 ]
Morton, Magnus [2 ]
Steuwer, Michel [1 ]
机构
[1] School of Informatics, University of Edinburgh, Edinburgh, United Kingdom
[2] Huawei Research Centre, Edinburgh, United Kingdom
关键词
Compendex;
D O I
15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, co-located with the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications. SPLASH 2022
中图分类号
学科分类号
摘要
Specifications
引用
收藏
页码:189 / 201
相关论文
共 50 条
  • [1] Collection Skeletons: Declarative Abstractions for Data Collections
    Franke, Bjorn
    Li, Zhibo
    Morton, Magnus
    Steuwer, Michel
    PROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2022, 2022, : 189 - 201
  • [2] Collection skeletons: Declarative abstractions for data collections
    Franke, Bjoern
    Li, Zhibo
    Morton, Magnus
    Steuwer, Michel
    JOURNAL OF SYSTEMS AND SOFTWARE, 2024, 213
  • [3] Viewing collections as abstractions
    Meghini, Carlo
    Spyratos, Nicolas
    DIGITAL LIBRARIES: RESEARCH AND DEVELOPMENT, 2007, 4877 : 207 - +
  • [4] ADDING TO COLLECTIONS - APPLIANCES AND ABSTRACTIONS
    TAYLOR, NG
    MUSEUM NEWS, 1991, 70 (04): : 32 - 33
  • [5] Declarative Abstractions for Agent Based Hybrid Control Systems
    Dennis, Louise A.
    Fisher, Michael
    Lincoln, Nicholas K.
    Lisitsa, Alexei
    Veres, Sandor M.
    DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES VIII (DALT), 2011, 6619 : 96 - 111
  • [6] SKULLS AND SKELETONS OF GORILLA IN BRITISH COLLECTIONS
    GROVES, CP
    NAPIER, JR
    JOURNAL OF ZOOLOGY, 1966, 148 : 153 - &
  • [8] DATA ABSTRACTIONS
    CRARY, F
    IEEE SOFTWARE, 1989, 6 (02) : 4 - 4
  • [9] Connecting the Silos: Systematic Data Collection for Library and Collections Assessment
    Harker, Karen R.
    KNOWLEDGE DISCOVERY AND DATA DESIGN INNOVATION, 2018, 14 : 319 - 333
  • [10] A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions
    del Vado Virseda, Rafael
    Castineiras, Ignacio
    FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING, 2010, 5979 : 162 - 178