publications: - title: "Modula-2 and Oberon" author: - name: "Niklaus Wirth" link: "https://researchr.org/alias/niklaus-wirth" year: "2007" doi: "http://doi.acm.org/10.1145/1238844.1238847" links: doi: "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: - name: "Barbara G. Ryder" link: "https://researchr.org/alias/barbara-g.-ryder" - name: "Brent Hailpern" link: "https://researchr.org/alias/brent-hailpern" publisher: "ACM" kind: "inproceedings" key: "Wirth07" - title: "A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility" author: - name: "Sophia Drossopoulou" link: "https://researchr.org/alias/sophia-drossopoulou" - name: "Susan Eisenbach" link: "https://researchr.org/alias/susan-eisenbach" - name: "David Wragg" link: "https://researchr.org/alias/david-wragg" year: "1999" doi: "https://doi.org/10.1109/LICS.1999.782606" links: doi: "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" kind: "inproceedings" key: "DrossopoulouEW99" - title: "The Module: A System Structuring Facility in High-Level Programming Languages" author: - name: "Niklaus Wirth" link: "https://researchr.org/alias/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: - name: "Jeffrey M. Tobias" link: "https://researchr.org/alias/jeffrey-m.-tobias" volume: "79" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-09745-7" kind: "inproceedings" key: "Wirth79" - title: "An approach to incremental compilation" author: - name: "Steven P. Reiss" link: "https://researchr.org/alias/steven-p.-reiss" year: "1984" doi: "http://doi.acm.org/10.1145/502874.502889" links: doi: "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" kind: "inproceedings" key: "Reiss84:2" - title: "Incremental Polymorphism" author: - name: "Shail Aditya" link: "https://researchr.org/alias/shail-aditya" - name: "Rishiyur S. Nikhil" link: "https://researchr.org/alias/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: - name: "John Hughes" link: "http://www.cse.chalmers.se/~rjmh" volume: "523" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-54396-1" kind: "inproceedings" key: "AdityaN91" - title: "A sound and optimal incremental build system with dynamic dependencies" author: - name: "Sebastian Erdweg" link: "http://www.informatik.uni-marburg.de/~seba/" - name: "Moritz Lichter" link: "https://researchr.org/alias/moritz-lichter" - name: "Manuel Weiel" link: "https://researchr.org/alias/manuel-weiel" year: "2015" doi: "http://doi.acm.org/10.1145/2814270.2814316" links: doi: "http://doi.acm.org/10.1145/2814270.2814316" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/ErdwegLW15" 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: - name: "Jonathan Aldrich" link: "https://researchr.org/alias/jonathan-aldrich" - name: "Patrick Eugster" link: "https://researchr.org/alias/patrick-eugster" publisher: "ACM" isbn: "978-1-4503-3689-5" kind: "inproceedings" key: "ErdwegLW15" - title: "Parallel Compilation for a Parallel Machine" author: - name: "Thomas R. Gross" link: "https://researchr.org/alias/thomas-r.-gross" - name: "Angelika Zobel" link: "https://researchr.org/alias/angelika-zobel" - name: "Markus Zolg" link: "https://researchr.org/alias/markus-zolg" year: "1989" researchr: "https://researchr.org/publication/GrossZZ89" cites: 0 citedby: 0 pages: "91-100" booktitle: "PLDI" kind: "inproceedings" key: "GrossZZ89" - title: "Incremental compilation in Magpie" author: - name: "Mayer D. Schwartz" link: "https://researchr.org/alias/mayer-d.-schwartz" - name: "Norman M. Delisle" link: "https://researchr.org/alias/norman-m.-delisle" - name: "Vimal S. Begwani" link: "https://researchr.org/alias/vimal-s.-begwani" year: "1984" doi: "http://doi.acm.org/10.1145/502874.502887" links: doi: "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" kind: "inproceedings" key: "SchwartzDB84" - title: "Separate Compilation for Synchronous Modules" author: - name: "Jia Zeng" link: "https://researchr.org/alias/jia-zeng" - name: "Stephen A. Edwards" link: "https://researchr.org/alias/stephen-a.-edwards" year: "2005" doi: "http://dx.doi.org/10.1007/11599555_15" links: doi: "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: - name: "Laurence Tianruo Yang" link: "https://researchr.org/alias/laurence-tianruo-yang" - name: "Xingshe Zhou" link: "https://researchr.org/alias/xingshe-zhou" - name: "Wei Zhao" link: "https://researchr.org/alias/wei-zhao" - name: "Zhaohui Wu" link: "https://researchr.org/alias/zhaohui-wu" - name: "Yian Zhu" link: "https://researchr.org/alias/yian-zhu" - name: "Man Lin" link: "https://researchr.org/alias/man-lin" volume: "3820" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-30881-4" kind: "inproceedings" key: "ZengE05" - title: "Polymorphic bytecode: compositional compilation for Java-like languages" author: - name: "Davide Ancona" link: "https://researchr.org/alias/davide-ancona" - name: "Ferruccio Damiani" link: "https://researchr.org/alias/ferruccio-damiani" - name: "Sophia Drossopoulou" link: "https://researchr.org/alias/sophia-drossopoulou" - name: "Elena Zucca" link: "https://researchr.org/alias/elena-zucca" year: "2005" doi: "http://doi.acm.org/10.1145/1040305.1040308" links: doi: "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: - name: "Jens Palsberg" link: "https://researchr.org/alias/jens-palsberg" - name: "Martín Abadi" link: "https://researchr.org/alias/mart%C3%ADn-abadi" publisher: "ACM" isbn: "1-58113-830-X" kind: "inproceedings" key: "AnconaDDZ05" - title: "Staged compilation" author: - name: "Craig Chambers" link: "https://researchr.org/alias/craig-chambers" year: "2002" doi: "http://doi.acm.org/10.1145/503032.503045" links: doi: "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" kind: "inproceedings" key: "Chambers02" - title: "Link-time static analysis for efficient separate compilation of object-oriented languages" author: - name: "Jean Privat" link: "https://researchr.org/alias/jean-privat" - name: "Roland Ducournau" link: "https://researchr.org/alias/roland-ducournau" year: "2005" doi: "http://doi.acm.org/10.1145/1108792.1108799" links: doi: "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: - name: "Michael D. Ernst" link: "https://researchr.org/alias/michael-d.-ernst" - name: "Thomas P. Jensen" link: "https://researchr.org/alias/thomas-p.-jensen" publisher: "ACM" isbn: "1-59593-239-9" kind: "inproceedings" key: "PrivatD05:0" - title: "An Efficient Separate Compilation Strategy for Very Large Programs" author: - name: "Andres Rudmik" link: "https://researchr.org/alias/andres-rudmik" - name: "Barbara G. Moore" link: "https://researchr.org/alias/barbara-g.-moore" year: "1982" doi: "http://doi.acm.org/10.1145/800230.807004" links: doi: "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" kind: "inproceedings" key: "RudmikM82" - title: "PIE: A Domain-Specific Language for Interactive Software Development Pipelines" author: - name: "Gabriël Konat" link: "http://nl.linkedin.com/in/gabrielkonat" - name: "Michael J. Steindorfer" link: "http://michael.steindorfer.name" - name: "Sebastian Erdweg" link: "http://www.informatik.uni-marburg.de/~seba/" - name: "Eelco Visser" link: "http://eelcovisser.org" year: "2018" doi: "https://doi.org/10.22152/programming-journal.org/2018/2/9" abstract: "Context. Software development pipelines are used for automating essential parts of software engineering processes, such as build automation and continuous integration testing. In particular, interactive pipelines, which process events in a live environment such as an IDE, require timely results for low-latency feedback, and persistence to retain low-latency feedback between restarts. Inquiry. Developing an incrementalized and persistent version of a pipeline is one way to reduce feedback latency, but requires implementation of dependency tracking, cache invalidation, and other complicated and error-prone techniques. Therefore, interactivity complicates pipeline development if timeliness and persistence become responsibilities of the pipeline programmer, rather than being supported by the underlying system. Systems for programming incremental and persistent pipelines exist, but do not focus on ease of development, requiring a high degree of boilerplate, increasing development and maintenance effort. Approach. We develop Pipelines for Interactive Environments (PIE), a Domain-Specific Language (DSL), API, and runtime for developing interactive software development pipelines, where ease of development is a focus. The PIE DSL is a statically typed and lexically scoped language. PIE programs are compiled to programs implementing the API, which the PIE runtime executes in an incremental and persistent way. Knowledge. PIE provides a straightforward programming model that enables direct and concise expression of pipelines without boilerplate, reducing the development and maintenance effort of pipelines. Compiled pipeline programs can be embedded into interactive environments such as code editors and IDEs, enabling timely feedback at a low cost. Grounding. Compared to the state of the art, PIE reduces the code required to express an interactive pipeline by a factor of 6 in a case study on syntax-aware editors. Furthermore, we evaluate PIE in two case studies of complex interactive software development scenarios, demonstrating that PIE can handle complex interactive pipelines in a straightforward and concise way. Importance. Interactive pipelines are complicated software artifacts that power many important systems such as continuous feedback cycles in IDEs and code editors, and live language development in language workbenches. New pipelines, and evolution of existing pipelines, is frequently necessary. Therefore, a system for easily developing and maintaining interactive pipelines, such as PIE, is important." links: doi: "https://doi.org/10.22152/programming-journal.org/2018/2/9" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/programming/KonatSEV18" researchr: "https://researchr.org/publication/KonatSEV18" cites: 0 citedby: 0 journal: "Programming Journal" volume: "2" number: "3" pages: "9" kind: "article" key: "KonatSEV18" - title: "Manifest Types, Modules, and Separate Compilation" author: - name: "Xavier Leroy" link: "http://pauillac.inria.fr/~xleroy/" year: "1994" doi: "10.1145/174675.176926" abstract: "This paper presents a variant of the SML module system that introduces a strict distinction between abstract types and manifest types (types whose definitions are part of the module specification), while retaining most of the expressive power of the SML module system. The resulting module system provides much better support for separate compilation. " 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" kind: "inproceedings" key: "Leroy94"