Staged composition synthesis
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
A framework for composition synthesis is provided in which metalanguage combinators are supported and the execution of synthesized programs can be staged into composition-time code generation (stage 1) and run-time execution (stage 2). By extending composition synthesis to encompass both object language (L1) and metalanguage (L2) combinators, composition synthesis becomes a powerful and flexible framework for the generation of L1-program compositions. A system of modal intersection types is introduced into a combinatory composition language to control the distinction between L1- and L2-combinators at the type level, thereby exposing the language distinction to composition synthesis. We provide a theory of correctness of the framework which ensures that generated compositions of component implementations are well typed and that their execution can be staged such that all metalanguage combinators can be computed away completely at stage 1, leaving only well typed L1-code for execution at stage 2. Our framework has been implemented, and we report on experiments.
Originalsprog | Engelsk |
---|---|
Titel | Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings |
Antal sider | 20 |
Forlag | Springer Verlag |
Publikationsdato | 1 jan. 2014 |
Sider | 67-86 |
ISBN (Trykt) | 9783642548321 |
DOI | |
Status | Udgivet - 1 jan. 2014 |
Eksternt udgivet | Ja |
Begivenhed | 23rd European Symposium on Programming, ESOP 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 - Grenoble, Frankrig Varighed: 5 apr. 2014 → 13 apr. 2014 |
Konference
Konference | 23rd European Symposium on Programming, ESOP 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 |
---|---|
Land | Frankrig |
By | Grenoble |
Periode | 05/04/2014 → 13/04/2014 |
Sponsor | Université Fédérale Toulouse Midi-Pyrénées, Grenoble INP, Inria, PERSYVAL-Lab and Universite Joseph Fourier, Springer-Verlag |
Navn | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Vol/bind | 8410 LNCS |
ISSN | 0302-9743 |
ID: 230702298