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

@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 = {Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007},
  editor = {Barbara G. Ryder and Brent Hailpern},
  publisher = {ACM},
}

@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 = {Proceedings, 14th Annual IEEE Symposium on Logic in Computer Science, 2-5 July, 1999, Trento, Italy},
  publisher = {IEEE Computer Society},
}

@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 = {Language Design and Programming Methodology, Proceedings of a Symposium Held in Sydney, Australia, 10-11 September, 1979},
  editor = {Jeffrey M. Tobias},
  volume = {79},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-09745-7},
}

@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 = {Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Montreal, Canada, June 17-22, 1984},
  publisher = {ACM},
}

@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 = {Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
  editor = {John Hughes},
  volume = {523},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54396-1},
}

@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 = {Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications},
  editor = {Jonathan Aldrich and Patrick Eugster},
  publisher = {ACM},
  isbn = {978-1-4503-3689-5},
}

@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 = {Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Montreal, Canada, June 17-22, 1984},
  publisher = {ACM},
}

@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 = {Embedded Software and Systems, Second International Conference, ICESS 2005, Xi an, China, December 16-18, 2005, Proceedings},
  editor = {Laurence Tianruo Yang and Xingshe Zhou and Wei Zhao and Zhaohui Wu and Yian Zhu and Man Lin},
  volume = {3820},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30881-4},
}

@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 = {Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005},
  editor = {Jens Palsberg and Martín Abadi},
  publisher = {ACM},
  isbn = {1-58113-830-X},
}

@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 = {ASIA-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 = {Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE 05, Lisbon, Portugal, September 5-6, 2005},
  editor = {Michael D. Ernst and Thomas P. Jensen},
  publisher = {ACM},
  isbn = {1-59593-239-9},
}

@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 Symposium on Compiler Construction},
}

@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 Journal},
  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 = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
}