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 条
  • [21] Separate Compilation and Execution of Imperative Synchronous Modules
    Vecchie, Eric
    Talpin, Jean-Pierre
    Schneider, Luaus
    [J]. DATE: 2009 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2009, : 1580 - +
  • [22] Towards Certified Separate Compilation for Concurrent Programs
    Jiang, Hanru
    Liang, Hongjin
    Xiao, Siyang
    Zha, Junpeng
    Feng, Xinyu
    [J]. PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 111 - 125
  • [23] Program Design Using Ada - An Application Study.
    Andersson, L.
    Hagander, P.
    Hall, G.
    Jahnberg, S.
    Astrom, K.J.
    [J]. Sveriges Mekanforbund, Mekanresultat, 1985,
  • [24] A Compositional Semantics for Verified Separate Compilation and Linking
    Ramananandro, Tahina
    Shao, Zhong
    Weng, Shu-Chun
    Koenig, Jeremie
    Fu, Yuchen
    [J]. CPP'15: PROCEEDINGS OF THE 2015 ACM CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, 2015, : 3 - 14
  • [25] Compilation and application high resolution global emission inventories of air pollutants
    Tao, Shu
    Shen, Huizhong
    Chen, Han
    Zhong, Qirui
    [J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2016, 251
  • [26] Extending a partial evaluator which supports separate compilation
    Heldal, R
    Hughes, J
    [J]. THEORETICAL COMPUTER SCIENCE, 2000, 248 (1-2) : 99 - 145
  • [27] CRONOS: A separate compilation toolset for modular ESTEREL applications
    Hainque, O
    Pautet, L
    Le Biannic, Y
    Nassor, R
    [J]. FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1836 - 1853
  • [28] Separate Compilation in a Language-Integrated Heterogeneous Environment
    Murphy, Mike
    Marathe, Jaydeep
    Bharambe, Girish
    Lee, Sean
    Grover, Vinod
    [J]. LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, LCPC 2013, 2014, 8664 : 121 - 135
  • [29] Compilation of Load Spectrum of PHEV Transmission Assembly and Its Simulation Application
    Ma, Baoqi
    Han, Chongyang
    Wu, Weibin
    Zeng, Zhiheng
    Wan, Chenyang
    Zheng, Zefeng
    Hu, Zhibiao
    [J]. MACHINES, 2022, 10 (07)
  • [30] ON FLOWER DESIGN - A COMPILATION
    NEGRUTIU, I
    INSTALLE, P
    JACOBS, M
    [J]. PLANT SCIENCE, 1991, 80 (1-2) : 7 - 8
12345