Compositional type-checking for delta-oriented programming

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD.11

Volumn , Issue , 2011, Pages 43-55

  Schaefer, Ina ^a   Bettini, Lorenzo ^b   Damiani, Ferruccio ^b  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

^b UNIVERSITY OF TURIN   (Italy)

Author keywords

Java; Software product line; Type system

Indexed keywords

ANALYSIS RESULTS; CONSTRAINT-BASED; CORE CALCULUS; JAVA; JAVA PROGRAM; OBJECT-ORIENTED PROGRAM; PRODUCT FEATURE; PRODUCT-LINES; SOFTWARE PRODUCT LINE; TYPE SYSTEMS; TYPECHECKING;

CALCULATIONS; COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; NETWORK ARCHITECTURE; OBJECT ORIENTED PROGRAMMING; REUSABILITY; SOFTWARE DESIGN;

JAVA PROGRAMMING LANGUAGE;

EID: 79955158052     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1960275.1960283     Document Type: Conference Paper

References (36)

1. D. Ancona, F. Damiani, S. Drossopoulou, and E. Zucca. Polymorphic Bytecode: Compositional Compilation for Java-like Languages. In Proc. of POPL, pages 26-37. ACM, 2005.
2. S. Apel, C. Kästner, A. Grösslinger, and C. Lengauer. Type safety for feature-oriented product lines. Automated Software Engineering, 17(3):251-300, 2010.
3. S. Apel, C. Kästner, and C. Lengauer. Feature Featherweight Java: A Calculus for Feature-Oriented Programming and Stepwise Refinement. In GPCE, pages 101-112. ACM, 2008.
4. I. Aracic, V. Gasiunas, M. Mezini, and K. Ostermann. An overview of CaesarJ. Transactions on Aspect-Oriented Software Development, 3880:135-173, 2006. (Pubitemid 350259073)
5. D. Batory. Feature Models, Grammars, and Propositional Formulas. In SPLC, volume 3714 of LNCS, pages 7-20. Springer, 2005.
6. D. Batory, J. Sarvela, and A. Rauschmayer. Scaling Step-Wise Refinement. IEEE Trans. Software Eng., 30(6):355-371, 2004.
7. L. Bettini, F. Damiani, and I. Schaefer. IFJ: a Minimal Imperative Variant of FJ. Technical Report 133/2010, Dipartimento di Informatica, Università di Torino, 2010. Available from http://www.di.unito.it/ ~damiani/papers/tr-133-2010.pdf.
8. L. Bettini, F. Damiani, and I. Schaefer. Implementing Software Product Lines using Traits. In SAC, OOPS Track, pages 2096-2102. ACM, 2010.
9. L. Bettini, F. Damiani, I. Schaefer, and F. Strocco. A Prototypical Java-like Language with Records and Traits. In PPPJ, pages 129-138. ACM, 2010.
10. P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison Wesley Longman, 2001.
11. C. Clifton and G. T. Leavens. MiniMAO1: Investigating the Semantics of Proceed. SCP, 63(3):321-374, Dec. 2006.
12. B. Delaware, W. Cook, and D. Batory. A Machine-Checked Model of Safe Composition. In FOAL, pages 31-35. ACM, 2009.
13. S. Ducasse, O. Nierstrasz, N. Schärli, R. Wuyts, and A. Black. Traits: A mechanism for fine-grained reuse. ACM TOPLAS, 28(2):331-388, 2006. (Pubitemid 43943416)
14. B. D. Fraine, E. Ernst, and M. Südholt. Essential AOP: The A Calculus. In ECOOP, volume 6183 of LNCS, pages 101-125. Springer, 2010.
15. B. D. Fraine, M. Südholt, and V. Jonckers. StrongAspectJ: flexible and safe pointcut/advice bindings. In AOSD, pages 60-71. ACM, 2008.
16. A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. ACM TOPLAS, 23(3):396-450, 2001. (Pubitemid 33614273)
17. E. B. Johnsen, M. Kyas, and I. C. Yu. Dynamic classes: Modular asynchronous evolution of distributed concurrent objects. In FM, volume 5850 of LNCS, pages 596-611. Springer, 2009.
18. K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical report, Carnegie Mellon Software Engineering Institute, 1990.
19. C. Kästner, S. Apel, and D. Batory. A Case Study Implementing Features Using AspectJ. In SPLC, pages 223-232. IEEE, 2007.
20. C. Kästner, S. Apel, and M. Kuhlemann. Granularity in Software Product Lines. In ICSE, pages 311-320. ACM, 2008.
21. C. Kästner, S. Apel, S. S. ur Rahman, M. Rosenmüller, D. Batory, and G. Saake. On the Impact of the Optional Feature Problem: Analysis and Case Studies. In SPLC, pages 181-190. ACM, 2009.
22. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An Overview of AspectJ. In ECOOP, volume 2072 of LNCS, pages 327-353. Springer, 2001. (Pubitemid 33291302)
23. G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In ECOOP, volume 1241 of LNCS, pages 220-242. Springer, 1997. (Pubitemid 127083932)
24. C. Krueger. Eliminating the Adoption Barrier. IEEE Software, 19(4):29-31, 2002. (Pubitemid 34806826)
25. M. Kuhlemann, D. Batory, and C. Kästner. Safe composition of non-monotonic features. In GPCE, pages 177-186. ACM, 2009.
26. R. Lopez-Herrejon, D. Batory, and W. Cook. Evaluating Support for Features in Advanced Modularization Technologies. In ECOOP, volume 3586 of LNCS, pages 169-194. Springer, 2005. (Pubitemid 41435981)
27. K. Ostermann. Dynamically composable collaborations with delegation layers. In ECOOP, volume 2374 of LNCS, pages 89-110. Springer, 2002.
28. M. Rosenmüller, N. Siegmund, G. Saake, and S. Apel. Code generation to support static and dynamic composition of software product lines. In GPCE, pages 3-12. ACM, 2008.
29. I. Schaefer, L. Bettini, V. Bono, F. Damiani, and N. Tanzarella. Delta-oriented Programming of Software Product Lines. In SPLC, volume 6287 of LNCS, pages 77-91. Springer, 2010.
30. I. Schaefer, L. Bettini, and F. Damiani. Compositional Type-Checking for Delta-Oriented Programming (version with Appendix). Technical Report 134/2010, Dipartimento di Informatica, Università di Torino, 2010. Available from http://www.di.unito.it/~damiani/papers/tr-134-2010.pdf.
31. I. Schaefer and F. Damiani. Pure Delta-oriented Programming. In FOSD 2010, 2010. Available from http://www.fosd.de/2010.
32. Y. Smaragdakis and D. Batory. Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. ACM Trans. Softw. Eng. Methodol., 11(2):215-255, 2002.
33. R. Strniša, P. Sewell, and M. Parkinson. The Java module system: core design and semantic definition. In OOPSLA, pages 499-514. ACM, 2007.
34. P. Tarr, H. Ossher, W. Harrison, and S. M. Sutton, Jr. N degrees of separation: multi-dimensional separation of concerns. In ICSE, pages 107-119, 1999.
35. S. Thaker, D. Batory, D. Kitchin, and W. Cook. Safe Composition of Product Lines. In GPCE, pages 95-104. ACM, 2007. (Pubitemid 351203843)
36. M. Torgersen. The Expression Problem Revisited. In ECOOP, volume 3086 of LNCS, pages 123-146. Springer, 2004.