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
Parents
62
Region-based memory management in cyclone
Dan Grossman, Greg Morrisett, Trevor Jim et al. · 2002 · 407 citations
David MacQueen · 1984 · 270 citations · Full text
Manifest types, modules, and separate compilation
Xavier Leroy · 1994 · 260 citations · Full text
Sean McDirmid, Matthew Flatt, Wilson C. Hsieh · 2001 · 185 citations
Modular control-flow integrity
1–5 of 62
117
3
h-index
3
h-index
3
h-index
3
h-index
3
h-index
1–5 of 117
52
AT&T (United States)
Bedminster, United States
6 h-index
6 publications
848 citations
Massachusetts Institute of Technology
Cambridge, United States
5 h-index
9 publications
464 citations
Yale University
New Haven, United States
3 h-index
8 publications
249 citations

Lehigh University
Bethlehem, United States
3 h-index
6 publications
598 citations
University of Utah
Salt Lake City, United States
3 h-index
5 publications
695 citations
University of Illinois Urbana-Champaign
Urbana, United States
3 h-index
6 publications
108 citations
Carnegie Mellon University
Pittsburgh, United States
3 h-index
3 publications
115 citations

University of Genoa
Genoa, Italy
2 h-index
4 publications
70 citations
1–8 of 52
9 publications · 255 citations
9
h-index
3 publications · 93 citations
3
h-index
ENTCS · 3 publications · 44 citations
3
h-index
2 publications · 101 citations
2
h-index
Conference · 1 publications · 14 citations
1
h-index
1–5