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 条
  • [41] Reducing FPGA Compile Time with Separate Compilation for FPGA Building Blocks
    Xiao, Yuanlong
    Park, Dongjoon
    Butt, Andrew
    Giesen, Hans
    Han, Zhaoyang
    Ding, Rui
    Magnezi, Nevo
    Rubin, Raphael
    DeHon, Andre
    [J]. 2019 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT 2019), 2019, : 153 - 161
  • [42] Partial program analysis for staged compilation systems
    Anand, Aditya
    Thakur, Manas
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2024,
  • [43] CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files
    Wang, Yuting
    Xu, Xiangzhe
    Wilke, Pierre
    Shao, Zhong
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (04):
  • [44] SEPARATE COMPILATION IN MODULA-2 - AN APPROACH TO EFFICIENT SYMBOL FILES
    GUTKNECHT, J
    [J]. IEEE SOFTWARE, 1986, 3 (06) : 29 - 38
  • [45] LINBOX Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation
    Dumas, Jean-Guillaume
    Gautier, Thierry
    Pernet, Clement
    Saunders, B. David
    [J]. MATHEMATICAL SOFTWARE - ICMS 2010, 2010, 6327 : 77 - +
  • [46] TESTING SEPARATE REGRESSION-MODELS SUBJECT TO SPECIFICATION ERROR
    MCALEER, M
    FISHER, G
    [J]. JOURNAL OF ECONOMETRICS, 1982, 19 (01) : 125 - 145
  • [47] Separate signals for target selection and movement specification in the superior colliculus
    Horwitz, GD
    Newsome, WT
    [J]. SCIENCE, 1999, 284 (5417) : 1158 - 1161
  • [48] A Type Theoretic Specification of Partial Evaluation
    Asai, Kenichi
    Fennell, Luminous
    Thiemann, Peter
    Zhang, Yang
    [J]. PPDP'14: PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2014, : 57 - 68
  • [49] A total approach to partial algebraic specification
    Meseguer, J
    Rosu, G
    [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, 2002, 2380 : 572 - 584
  • [50] COMPOSITIONAL PROOFS BY PARTIAL SPECIFICATION OF PROCESSES
    LARSEN, KG
    THOMSEN, B
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 324 : 414 - 423
12345