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 条
  • [1] Partial evaluation and separate compilation
    Heldal, R
    Hughes, J
    [J]. ACM SIGPLAN NOTICES, 1997, 32 (12) : 1 - 11
  • [2] Extending a partial evaluator which supports separate compilation
    Heldal, R
    Hughes, J
    [J]. THEORETICAL COMPUTER SCIENCE, 2000, 248 (1-2) : 99 - 145
  • [3] COMPILATION OF THE PASCAL CASE STATEMENT
    HENNESSY, JL
    MENDELSOHN, N
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1982, 12 (09): : 879 - 882
  • [4] 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
  • [5] DEVELOPMENT OF A PASCAL SYSTEM FOR PARALLEL COMPILATION
    BURKHARDT, WH
    [J]. EIGHTH ANNUAL INTERNATIONAL PHOENIX CONFERENCE ON COMPUTERS AND COMMUNICATIONS: 1989 CONFERENCE PROCEEDINGS, 1989, : 291 - 292
  • [6] IMPLEMENTING SEPARATE COMPILATIONS IN PASCAL
    NANI, G
    [J]. SIGPLAN NOTICES, 1987, 22 (08): : 27 - 32
  • [7] AN ALGEBRAIC SPECIFICATION OF A PASCAL COMPILER
    DESPEYROUX, J
    [J]. SIGPLAN NOTICES, 1983, 18 (12): : 34 - 48
  • [8] 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
  • [9] Separate compilation for synchronous modules
    Zeng, J
    Edwards, SA
    [J]. EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2005, 3820 : 129 - 140
  • [10] SEPARATE AND INTEGRAL COMPILATION OF SUBSYSTEMS
    BOHRINGER, B
    FEUERHAHN, H
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1981, 123 : 50 - 64
12345