Separate Compilation Support

Separate Compilation Support is a mechanism in programming language systems that belongs to the class of symbol table functionalities, specifically enabling the consistent resolution of symbolic references across independently compiled program units through standardized interface declarations and cross-unit linkage protocols.

62

Publications

3.3K

Citations

117

Authors

52

Institutions

Publications per year

2017–2026

1

Authors

117

  1. AC
    Andrew C. Myers

    Cornell University, United States

    3 publications · 129 citations

    3

    h-index

  2. GT
    Gang Tan

    Pennsylvania State University, United States

    3 publications · 299 citations

    3

    h-index

  3. TJ
    Trevor Jim

    AT&T (United States), United States

    3 publications · 569 citations

    3

    h-index

  4. MF
    Matthew Flatt

    University of Utah, United States

    3 publications · 325 citations

    3

    h-index

  5. ZS
    Zhong Shao

    Yale University, United States

    3 publications · 107 citations

    3

    h-index

1–5 of 117

Venues

  1. ACM SIGPLAN Notices

    9 publications · 255 citations

    9

    h-index

  2. Software Practice and Experience

    3 publications · 93 citations

    3

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 44 citations

    3

    h-index

  4. 2

    h-index

  5. Formal Methods

    Conference · 1 publications · 14 citations

    1

    h-index

1–5