Separate Compilation (researchr/bibliography/publications)

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 38 from 38

2018

Build systems à la carteAndrey Mokhov, Neil Mitchell, Simon L. Peyton Jones. PACMPL, 2(ICFP), 7 2018. [doi] [classification]

2017

Reliable and automatic composition of language extensions to C: the ableC extensible language frameworkTed Kaminski, Lucas Kramer, Travis Carlson, Eric {Van Wyk}. PACMPL, 1(OOPSLA), 2017. [doi] [classification]

Incremental whole program optimization and compilationPatrick W. Sathyanathan, Wenlei He, Ten H. Tzen. CGO 2017: 221-232 [doi] [classification]

2016

The expression problem, trivially!Yanlin Wang, Bruno C. D. S. Oliveira. AOSD 2016: 37-41 [doi] [classification]

2015

A sound and optimal incremental build system with dynamic dependenciesSebastian Erdweg, Moritz Lichter, Manuel Weiel. OOPSLA 2015: 89-106 [doi] [classification]

2013

A framework for extensible languagesSebastian Erdweg, Felix Rieger. GPCE 2013: 3-12 [doi] [classification]

2012

Language composition untangledSebastian Erdweg, Paolo G. Giarrusso, Tillmann Rendel. LDTA 2012: 7 [doi] [classification]

Incremental Evaluation of Reference Attribute Grammars using Dynamic Dependency TrackingEmma Söderberg, Görel Hedin. Technical Report 98, 2012. [classification]

2010

Typed Tagless Final InterpretersOleg Kiselyov. ssgip 2012: 130-174 [doi] [classification]

Silver: An extensible attribute grammar systemEric {Van Wyk}, Derek Bodin, Jimin Gao, Lijesh Krishnan. SCP, 75(1-2):39-54, 2010. [doi] [classification]

2008

Data types à la carteWouter Swierstra. JFP, 18(4):423-436, 2008. [doi] [classification]

2007

The JastAdd extensible Java compilerTorbjörn Ekman, Görel Hedin. OOPSLA 2007: 1-18 [doi] [classification]

ATerms for manipulation and exchange of structured data: It's all about sharingMark G. J. van den Brand, Paul Klint. INFSOF, 49(1):55-64, 2007. [doi] [classification]

Modula-2 and OberonNiklaus Wirth. HOPL 2007: 1-10 [doi] [classification]

2005

Polymorphic bytecode: compositional compilation for Java-like languagesDavide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca. POPL 2005: 26-37 [doi] [classification]

Independently extensible solutions to the expression problemMartin Odersky, M. Zenger. In Proceedings of the Twelth International Workshop on Foundations of Object-Oriented Languages (FOOL 12). 2005: [classification]

Link-time static analysis for efficient separate compilation of object-oriented languagesJean Privat, Roland Ducournau. PASTE 2005: 20-27 [doi] [classification]

Separate Compilation for Synchronous ModulesJia Zeng, Stephen A. Edwards. icess 2005: 129-140 [doi] [classification]

2004

Inversion of control containers and the dependency injection patternMartin Fowler. \url{http://martinfowler.com/articles/injection.html}, January 2004. [classification]

Modular structural operational semanticsPeter D. Mosses. jlp, 60-61:195-228, 2004. [doi] [classification]

The Expression Problem RevisitedMads Torgersen. ECOOP 2004: 123-143 [doi] [classification]

2002

Staged compilationCraig Chambers. PEPM 2002: 1-8 [doi] [classification]

Pragmatics of Modular SOSPeter D. Mosses. amast 2002: 21-40 [doi] [classification]

1999

A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary CompatibilitySophia Drossopoulou, Susan Eisenbach, David Wragg. lics 1999: 147-156 [doi] [classification]

1998

The expression problemPhilip Wadler. Java-genericity mailing list, , 11 1998. [doi] [classification]

1996

What Are Principal Typings and What Are They Good For?Trevor Jim. POPL 1996: 42-53 [doi] [classification]

1994

Manifest Types, Modules, and Separate CompilationXavier Leroy. POPL 1994: 109-122 [doi] [classification]

1991

Incremental PolymorphismShail Aditya, Rishiyur S. Nikhil. fpca 1991: 379-405 [classification]

1989

Parallel Compilation for a Parallel MachineThomas R. Gross, Angelika Zobel, Markus Zolg. PLDI 1989: 91-100 [classification]

1984

An approach to incremental compilationSteven P. Reiss. sigplan 1984: 144-156 [doi] [classification]

Incremental compilation in MagpieMayer D. Schwartz, Norman M. Delisle, Vimal S. Begwani. sigplan 1984: 122-131 [doi] [classification]

1982

An Efficient Separate Compilation Strategy for Very Large ProgramsAndres Rudmik, Barbara G. Moore. sigplan 1982: 301-307 [doi] [classification]

1979

The Module: A System Structuring Facility in High-Level Programming LanguagesNiklaus Wirth. ldpm 1980: 1-24 [classification]

1978

A Type-Checking Program Linkage System for PascalRichard B. Kieburtz, W. Barabash, C. R. Hill. ICSE 1978: 23-28 [classification]

1977

Early Experience with MesaCharles M. Geschke, James H. Morris Jr., Edwin H. Satterthwaite. CACM, 20(8):540-553, 8 1977. [doi] [classification]

1972

A Method for Incrementally Compiling Languages with Nested Statement StructureJay Earley, Paul Caizergues. CACM, 15(12):1040-1044, 1972. [classification]

1966

A conversational system for incremental compilation and execution in a time-sharing environmentJames L. Ryan, Richard L. Crandall, Marion C. Medwedeff. afips 1966: 1-21 [doi] [classification]

1964

FortranJohn Warner Backus, William P. Heising. TC, 13(4):382-385, 1964. [doi] [classification]

Sign in or sign up to see more results.

runs on WebDSL