A sound and optimal incremental build system with dynamic dependencies
暂无分享,去创建一个
[1] Eelco Visser,et al. Building program optimizers with rewriting strategies , 1998, ICFP '98.
[2] Allan Heydon,et al. Caching function calls using precise dependencies , 2000, PLDI '00.
[3] Allan Heydon,et al. The Vesta Approach to Software Configuration Management , 2001 .
[4] T Epperly,et al. Software in the DOE: The Hidden Overhead of''The Build'' , 2002 .
[5] Davide Ancona,et al. Polymorphic bytecode: compositional compilation for Java-like languages , 2005, POPL '05.
[6] Eelco Visser,et al. The spoofax language workbench: rules for declarative specification of languages and IDEs , 2010, OOPSLA.
[7] Sebastian Erdweg,et al. Featherweight TeX and Parser Correctness , 2010, SLE.
[8] Shane McIntosh,et al. The evolution of ANT build systems , 2010, 2010 7th IEEE Working Conference on Mining Software Repositories (MSR 2010).
[9] Neil Mitchell. Shake before building: replacing make with haskell , 2012, ICFP '12.
[10] Gail C. Murphy,et al. An exploratory study of forces and frictions affecting large-scale model-driven development , 2012, MODELS'12.
[11] Sebastian Erdweg,et al. A framework for extensible languages , 2013, GPCE '13.
[12] Sebastian Erdweg,et al. Extensible languages for flexible and principled domain abstraction , 2013 .
[13] K. Rustan M. Leino,et al. Formalizing and Verifying a Modern Build Language , 2014, FM.
[14] Benjamin Livshits,et al. Automated migration of build scripts using dynamic analysis and search-based refactoring , 2014, OOPSLA.