SEPARATE COMPILATION AND PARTIAL SPECIFICATION IN PASCAL

被引：4
|
作者：
CELENTANO, A
DELLAVIGNA, P
GHEZZI, C
MANDRIOLI, D
机构：
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1980年 / 6卷 / 04期
关键词：
D O I：
10.1109/TSE.1980.230483
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：320 / 328
页数：9
相关论文
共 50 条
  • [31] 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
  • [32] THE DESIGN OF AIR AND ITS APPLICATION TO ADA SEPARATE COMPILATION
    BRIGGS, JS
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 180 : 60 - 75
  • [33] Compilation principle of a specification language dedicated to signal processing
    Soula, J
    Marquet, P
    Demeure, A
    Dekeyser, JL
    [J]. PARALLEL COMPUTING TECHNOLOGIES, 2001, 2127 : 358 - 370
  • [34] Glimpse: Mathematical Embedding of Hardware Specification for Neural Compilation
    Ahn, Byung Hoon
    Kinzer, Sean
    Esmaeilzadeh, Hadi
    [J]. PROCEEDINGS OF THE 59TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, DAC 2022, 2022, : 1165 - 1170
  • [35] TECHNIQUES FOR PARTIAL SPECIFICATION AND SPECIFICATION OF SWITCHING SYSTEMS
    ZAVE, P
    JACKSON, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 511 - 525
  • [36] PARTIAL HYPERBOLICITY AND SPECIFICATION
    Sumi, Naoya
    Varandas, Paulo
    Yamamoto, Kenichiro
    [J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2016, 144 (03) : 1161 - 1170
  • [37] A SIMPLE SEPARATE COMPILATION MECHANISM FOR BLOCK-STRUCTURED LANGUAGES
    LEBLANC, RJ
    FISCHER, CN
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (03) : 221 - 227
  • [38] Incremental concrete syntax for embedded languages with support for separate compilation
    Dinkelaker, Tom
    Eichberg, Michael
    Mezini, Mira
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (06) : 615 - 632
  • [39] Parse Table Composition Separate Compilation and Binary Extensibility of Grammars
    Bravenboer, Martin
    Visser, Eelco
    [J]. SOFTWARE LANGUAGE ENGINEERING, 2009, 5452 : 74 - +
  • [40] Specification and partial hyperbolicity for flows
    Sumi, Naoya
    Varandas, Paulo
    Yamamoto, Kenichiro
    [J]. DYNAMICAL SYSTEMS-AN INTERNATIONAL JOURNAL, 2015, 30 (04): : 501 - 524
12345