Fitting the pieces together: A machine-checked model of safe composition

ESEC-FSE'09 - Proceedings of the Joint 12th European Software Engineering Conference and 17th ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2009, Pages 243-252

  Delaware, Benjamin ^a   Cook, William R ^a   Batory, Don ^a  

^a University of Texas at Austin   (United States)

Author keywords

Feature models; Product lines; Type safety

Indexed keywords

CONSTRAINT-BASED; FEATURE MODELS; HIGH-LEVEL DOMAIN; PRODUCT-LINES; SOFTWARE PRODUCT LINE; TYPE SAFETY; TYPE SYSTEMS;

COMPUTER SOFTWARE;

SAFETY ENGINEERING;

EID: 77949351306     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1595696.1595733     Document Type: Conference Paper

References (16)

1. D. Ancona and S. Drossopoulou. Polymorphic bytecode: Compositional compilation for java-like languages. In In ACM Symp. on Principles of Programming Languages 2005. ACM Press, 2005.
2. S. Apel and D. Hutchins. An overview of the gDEEP calculus. Technical Report MIP-0712, Department of Informatics and Mathematics, University of Passau, November 2007.
3. S. Apel, C. Kästner, and C. Lengauer. Feature Featherweight Java: A calculus for feature-oriented programming and stepwise refinenement. In GPCE '08: Proceedings of the 7th International Conference on Generative Programming and Component Engineering. ACM Press, Oct. 2008.
4. S. Apel, C. Kästner, A. GröSSlinger, and C. Lengauer. Type-safe feature-oriented product lines. Technical Report MIP-0909, Department of Informatics and Mathematics, University of Passau, June 2009.
5. D. Batory. Feature-oriented programming and the AHEAD tool suite. Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on, pages 702-703, May 2004.
6. D. Batory. Feature models, grammars, and propositional formulas. In In Software Product Lines Conference, LNCS 3714, pages 7-20. Springer, 2005.
7. A. Bergel, S. Ducasse, and O. Nierstrasz. Classbox/j: controlling the scope of change in java. In Proc. of ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pages 177-189, New York, NY, USA, 2005. ACM.
8. Y. Bertot and P. Castéran. Interactive Theorem Proving and Program Development. Springer-Verlag, Berlin, 2004.
9. K. Czarnecki and U. W. Eisenecker. Components and generative programming (invited paper). SIGSOFT Softw. Eng. Notes, 24(6):2-19, 1999.
10. K. Czarnecki and K. Pietroszek. Verifying feature-based model templates against well-formedness ocl constraints. In GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering. ACM Press, 2006.
11. B. Delaware, W. Cook, and D. Batory. A machine-checked model of safe composition. In Foundations of Aspected-Oriented Languages, 2009.
12. B. C. Pierce. Types and Programming Languages. MIT Press, 2002.
13. R. Prieto-Diaz and J. Neighbors. Module interconnection languages: A survey. Technical report, University of California at Irvine, August 1982. ICS Technical Report 189.
14. P. Sewell, F. Z. Nardelli, S. Owens, G. Peskine, T. Ridge, S. Sarkar, and R. Strniša. Ott: effective tool support for the working semanticist. In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming, pages 1-12, New York, NY, USA, 2007. ACM.
15. R. Strnisa, P. Sewell, and M. J. Parkinson. The Java module system: core design and semantic definition. In R. P. Gabriel, D. F. Bacon, C. V. Lopes, and G. L. S. Jr., editors, OOPSLA, pages 499-514. ACM, 2007.
16. S. Thaker, D. Batory, D. Kitchin, and W. Cook. Safe composition of product lines. In GPCE '07: Proceedings of the 6th international conference on Generative programming and component engineering, pages 95-104, New York, NY, USA, 2007. ACM.