THE DESIGN OF AIR AND ITS APPLICATION TO ADA SEPARATE COMPILATION

被引：0
|
作者：
BRIGGS, JS
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 180卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：60 / 75
页数：16
相关论文
共 50 条
  • [1] MECHANISM OF SEPARATE COMPILATION IN ADA PROGRAMMING SYSTEM
    GORBUNOV, AV
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1985, 11 (01) : 12 - 19
  • [2] The compilation of Ada
    Firth, JR
    Forsyth, CH
    Wand, IC
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1996, 26 (08): : 863 - 909
  • [3] PARALLEL COMPILATION - DESIGN AND ITS APPLICATION TO SIMULA 67
    SCHWARTZ, RL
    [J]. COMPUTER LANGUAGES, 1978, 3 (02): : 75 - 94
  • [4] Application of Interface Theories to the Separate Compilation of Synchronous Programs
    Benveniste, Albert
    Caillaud, Benoit
    Raclet, Jean-Baptiste
    [J]. 2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2012, : 7252 - 7258
  • [5] SEPARATE COMPILATION IN CHIPSY
    EIDNES, H
    HALLSTEINSEN, SO
    WANVIK, DH
    [J]. PROCEEDINGS OF THE 2ND INTERNATIONAL WORKSHOP ON SOFTWARE CONFIGURATION MANAGEMENT, 1989, 17 : 42 - 45
  • [6] AN APPROACH TO BENCHMARKING ADA COMPILATION SYSTEMS
    CURLEY, T
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 499 : 87 - 108
  • [7] Separate Compilation of Polychronous Specifications
    Ouy, Julien
    Talpin, Jean-Pierre
    Besnard, Loic
    Le Guernic, Paul
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 200 (01) : 51 - 70
  • [8] Separate compilation for synchronous modules
    Zeng, J
    Edwards, SA
    [J]. EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2005, 3820 : 129 - 140
  • [9] SEPARATE AND INTEGRAL COMPILATION OF SUBSYSTEMS
    BOHRINGER, B
    FEUERHAHN, H
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1981, 123 : 50 - 64
  • [10] Lightweight Verification of Separate Compilation
    Kang, Jeehoon
    Kim, Yoonseung
    Hur, Chung-Kil
    Dreyer, Derek
    Vafeiadis, Viktor
    [J]. ACM SIGPLAN NOTICES, 2016, 51 (01) : 178 - 190
12345