BULK TYPES FOR LARGE-SCALE PROGRAMMING

被引：0
|
作者：
ATKINSON, M [1 ]
RICHARD, P [1 ]
TRINDER, P [1 ]
机构：
[1] UNIV GLASGOW, DEPT COMP SCI, GLASGOW G12 8QQ, SCOTLAND
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 504卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Work on the design of constructors for bulk data types is reported. It introduces highly parametric constructors, parameterised both by types and by properties other than types. Such constructors we call type-quarks. The motivation for and properties of bulk types are discussed. The two examples of bulk types provided via type-quarks, maps and quads, are discussed. Several important questions about this approach to bulk types are identified.
引用
收藏
页码：228 / 250
页数：23
相关论文
共 50 条
  • [1] Large-Scale Microtask Programming
    Aghayi, Emad
    [J]. 2020 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2020), 2020,
  • [2] THOUGHTS ON LARGE-SCALE PROGRAMMING PROJECTS
    MCLAUGHLIN, R
    [J]. SIGPLAN NOTICES, 1991, 26 (08): : 86 - 89
  • [3] A large-scale bulk flow of galaxy clusters
    Hudson, MJ
    Smith, RJ
    Lucey, JR
    Schlegel, DJ
    Davies, RL
    [J]. ASTROPHYSICAL JOURNAL, 1999, 512 (02): : L79 - L82
  • [4] Bulk motions in large-scale void models
    Tomita, K
    [J]. COSMIC FLOWS 1999: TOWARDS AN UNDERSTANDING OF LARGE-SCALE STRUCTURE, 2000, 201 : 302 - 305
  • [5] LARGE-SCALE BULK MOTION AND DARK MATTER
    SONG, DJ
    [J]. NUOVO CIMENTO DELLA SOCIETA ITALIANA DI FISICA B-GENERAL PHYSICS RELATIVITY ASTRONOMY AND MATHEMATICAL PHYSICS AND METHODS, 1990, 105 (8-9): : 921 - 927
  • [6] Large-Scale Clustering Using Mathematical Programming
    Gnagi, Mario
    Baumann, Philipp
    [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEM), 2017, : 789 - 793
  • [7] Parallel algorithms for large-scale stochastic programming
    Vladimirou, H
    Zenios, SA
    [J]. PARALLEL COMPUTING IN OPTIMIZATION, 1997, 7 : 413 - 469
  • [8] Transitioning to a Large-Scale Distributed Programming Course
    Schmiedmayer, Paul
    Reimer, Lara Marie
    Jovanovic, Marko
    Henze, Dominic
    Jonas, Stephan
    [J]. 2020 IEEE 32ND CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING (CSEE&T), 2020, : 256 - 261
  • [9] SQP methods for large-scale nonlinear programming
    Gould, NIM
    Toint, PL
    [J]. SYSTEM MODELLING AND OPTIMIZATION: METHODS, THEORY AND APPLICATIONS, 2000, 46 : 149 - 178
  • [10] LARGE-SCALE MATHEMATICAL-PROGRAMMING SYSTEMS
    TOMLIN, JA
    [J]. COMPUTERS & CHEMICAL ENGINEERING, 1983, 7 (05) : 575 - 582
12345