% Bibliography downloaded from https://researchr.org/downloadbibtex/bibliography/fceccf34-4a43-461e-9a5f-f7c85441c773-separate-compilation/compact

@inproceedings{Wirth07,
  title = {Modula-2 and Oberon},
  author = {Niklaus Wirth},
  year = {2007},
  doi = {10.1145/1238844.1238847},
  url = {http://doi.acm.org/10.1145/1238844.1238847},
  researchr = {https://researchr.org/publication/Wirth07},
  cites = {0},
  citedby = {0},
  pages = {1-10},
  booktitle = {HOPL},
}

@inproceedings{DrossopoulouEW99,
  title = {A Fragment Calculus -- Towards a Model of Separate Compilation, Linking and Binary Compatibility},
  author = {Sophia Drossopoulou and Susan Eisenbach and David Wragg},
  year = {1999},
  doi = {10.1109/LICS.1999.782606},
  url = {https://doi.org/10.1109/LICS.1999.782606},
  researchr = {https://researchr.org/publication/DrossopoulouEW99},
  cites = {0},
  citedby = {0},
  pages = {147-156},
  booktitle = {lics},
}

@inproceedings{Wirth79,
  title = {The Module: A System Structuring Facility in High-Level Programming Languages},
  author = {Niklaus Wirth},
  year = {1979},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/Wirth79},
  cites = {0},
  citedby = {0},
  pages = {1-24},
  booktitle = {ldpm},
}

@inproceedings{Reiss84:2,
  title = {An approach to incremental compilation},
  author = {Steven P. Reiss},
  year = {1984},
  doi = {10.1145/502874.502889},
  url = {http://doi.acm.org/10.1145/502874.502889},
  tags = {incremental, systematic-approach},
  researchr = {https://researchr.org/publication/Reiss84%3A2},
  cites = {0},
  citedby = {0},
  pages = {144-156},
  booktitle = {sigplan},
}

@inproceedings{AdityaN91,
  title = {Incremental Polymorphism},
  author = {Shail Aditya and Rishiyur S. Nikhil},
  year = {1991},
  tags = {incremental},
  researchr = {https://researchr.org/publication/AdityaN91},
  cites = {0},
  citedby = {0},
  pages = {379-405},
  booktitle = {fpca},
}

@inproceedings{ErdwegLW15,
  title = {A sound and optimal incremental build system with dynamic dependencies},
  author = {Sebastian Erdweg and Moritz Lichter and Manuel Weiel},
  year = {2015},
  doi = {10.1145/2814270.2814316},
  url = {http://doi.acm.org/10.1145/2814270.2814316},
  researchr = {https://researchr.org/publication/ErdwegLW15},
  cites = {0},
  citedby = {1},
  pages = {89-106},
  booktitle = {OOPSLA},
}

@inproceedings{GrossZZ89,
  title = {Parallel Compilation for a Parallel Machine},
  author = {Thomas R. Gross and Angelika Zobel and Markus Zolg},
  year = {1989},
  researchr = {https://researchr.org/publication/GrossZZ89},
  cites = {0},
  citedby = {0},
  pages = {91-100},
  booktitle = {PLDI},
}

@inproceedings{SchwartzDB84,
  title = {Incremental compilation in Magpie},
  author = {Mayer D. Schwartz and Norman M. Delisle and Vimal S. Begwani},
  year = {1984},
  doi = {10.1145/502874.502887},
  url = {http://doi.acm.org/10.1145/502874.502887},
  tags = {incremental},
  researchr = {https://researchr.org/publication/SchwartzDB84},
  cites = {0},
  citedby = {0},
  pages = {122-131},
  booktitle = {sigplan},
}

@inproceedings{ZengE05,
  title = {Separate Compilation for Synchronous Modules},
  author = {Jia Zeng and Stephen A. Edwards},
  year = {2005},
  doi = {10.1007/11599555_15},
  url = {http://dx.doi.org/10.1007/11599555_15},
  researchr = {https://researchr.org/publication/ZengE05},
  cites = {0},
  citedby = {0},
  pages = {129-140},
  booktitle = {icess},
}

@inproceedings{AnconaDDZ05,
  title = {Polymorphic bytecode: compositional compilation for Java-like languages},
  author = {Davide Ancona and Ferruccio Damiani and Sophia Drossopoulou and Elena Zucca},
  year = {2005},
  doi = {10.1145/1040305.1040308},
  url = {http://doi.acm.org/10.1145/1040305.1040308},
  tags = {Java, composition},
  researchr = {https://researchr.org/publication/AnconaDDZ05},
  cites = {0},
  citedby = {0},
  pages = {26-37},
  booktitle = {POPL},
}

@inproceedings{Chambers02,
  title = {Staged compilation},
  author = {Craig Chambers},
  year = {2002},
  doi = {10.1145/503032.503045},
  url = {http://doi.acm.org/10.1145/503032.503045},
  tags = {compilation, staged compilation},
  researchr = {https://researchr.org/publication/Chambers02},
  cites = {0},
  citedby = {0},
  pages = {1-8},
  booktitle = {PEPM},
}

@inproceedings{PrivatD05:0,
  title = {Link-time static analysis for efficient separate compilation of object-oriented languages},
  author = {Jean Privat and Roland Ducournau},
  year = {2005},
  doi = {10.1145/1108792.1108799},
  url = {http://doi.acm.org/10.1145/1108792.1108799},
  tags = {analysis, static analysis},
  researchr = {https://researchr.org/publication/PrivatD05%3A0},
  cites = {0},
  citedby = {0},
  pages = {20-27},
  booktitle = {PASTE},
}

@inproceedings{RudmikM82,
  title = {An Efficient Separate Compilation Strategy for Very Large Programs},
  author = {Andres Rudmik and Barbara G. Moore},
  year = {1982},
  doi = {10.1145/800230.807004},
  url = {http://doi.acm.org/10.1145/800230.807004},
  researchr = {https://researchr.org/publication/RudmikM82},
  cites = {0},
  citedby = {0},
  pages = {301-307},
  booktitle = {sigplan},
}

@article{KonatSEV18,
  title = {{PIE}: A Domain-Specific Language for Interactive Software Development Pipelines},
  author = {Gabriël Konat and Michael J. Steindorfer and Sebastian Erdweg and Eelco Visser},
  year = {2018},
  doi = {10.22152/programming-journal.org/2018/2/9},
  url = {https://doi.org/10.22152/programming-journal.org/2018/2/9},
  researchr = {https://researchr.org/publication/KonatSEV18},
  cites = {0},
  citedby = {0},
  journal = {Programming},
  volume = {2},
  number = {3},
  pages = {9},
}

@inproceedings{Leroy94,
  title = {Manifest Types, Modules, and Separate Compilation},
  author = {Xavier Leroy},
  year = {1994},
  doi = {10.1145/174675.176926},
  researchr = {https://researchr.org/publication/Leroy94},
  cites = {0},
  citedby = {0},
  pages = {109-122},
  booktitle = {POPL},
}