A calculus for uniform feature composition

ACM Transactions on Programming Languages and Systems

Volumn 32, Issue 5, 2010, Pages

  Apel, Sven ^a   Hutchins, Delesley ^b  

^a UNIVERSITY OF PASSAU   (Germany)

^b MZA Associates Corporation   (United States)

Author keywords

Feature composition; Feature oriented programming; Principle of uniformity; Type systems

Indexed keywords

CORE CALCULUS; FEATURE-ORIENTED PROGRAMMING; GAIN INSIGHT; HASKELL; LANGUAGE INDEPENDENCE; OPERATIONAL SEMANTICS; SOFTWARE ARTIFACTS; SOFTWARE SYSTEMS; SOURCE CODES; TYPE SYSTEMS;

CALCULATIONS; COMPUTER SOFTWARE; LINGUISTICS; QUERY LANGUAGES; REFINING;

JAVA PROGRAMMING LANGUAGE;

EID: 77952941288     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/1745312.1745316     Document Type: Article

References (70)

1. ABADI, M. AND CARDELLI, L. 1996. A Theory of Objects. Springer-Verlag, Berlin, Germany.
2. ANCONA, D., LAGORIO, G., AND ZUCCA, E. 2003. Jam-Designing a Java extension with mixins. ACM Trans. Prog. Lang. Syst. 25, 5, 641-712.
3. ANFURRUTIA, F., D́IAZ, O., AND TRUJILLO, S. 2007. On refining XML artifacts. In Proceedings of International Conference on Web Engineering (ICWE). Lecture Notes in Computer Science, vol.4607. Springer-Verlag, 473-478.
4. APEL, S. AND HUTCHINS, D. 2007. An overview of the gDeep calculus. Tech. rep. MIP-0712, University of Passau.
5. APEL, S., JANDA, F., TRUJILLO, S., AND KÄSTNER, C. 2009a. Model superimposition in software product lines. In Proceedings of the International Conference on Model Transformation (ICMT). Lecture Notes in Computer Science, vol.5563. Springer-Verlag, Berlin, Germany, 4-19.
6. APEL, S. AND KÄSTNER, C. 2009. An overview of feature-oriented software development. Journal of Object Technology 8, 5, 49-84.
7. APEL, S., KÄSTNER, C., GRÖSSLINGER, A., AND LENGAUER, C. 2009b. Feature (De)composition in functional programming. In Proceedings of the International Conference on Software Composition (SC). Lecture Notes in Computer Science, vol.5634. Springer-Verlag, Berlin, Germany, 9-26.
8. APEL, S., KÄSTNER, C., GRÖSSLINGER, A., AND LENGAUER, C. 2010a. Type safety for feature-oriented product lines. Automat. Softw. Eng.
9. APEL, S., KÄSTNER, C., AND LENGAUER, C. 2008a. Feature Featherweight Java: A calculus for feature-oriented programming and stepwise refinement. In Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE). ACM, New York, 101-112.
10. APEL, S.,KÄSTNER, C., AND LENGAUER, C. 2009c. FeatureHouse: Language-independent, automated software composition. In Proceedings of the International Conference on Software Engineering (ICSE). IEEE Computer Society Press, Los Alamitos, CA, 221-231.
11. APEL, S., LEICH, T., ROSENMÜLLER, M., AND SAAKE, G. 2005. FeatureC++: On the symbiosis of feature-oriented and aspect-oriented programming. In Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE). Lecture Notes in Computer Science, vol.3676. Springer-Verlag, Berlin, Germany, 125-140.
12. APEL, S., LEICH, T., AND SAAKE, G. 2008b. Aspectual feature modules. IEEE Trans. Softw. Eng. 34, 2, 162-180.
13. APEL, S. AND LENGAUER, C. 2008. Superimposition: A language-independent approach to software composition. In Proceedings of the International Symposium on Software Composition (SC). Lecture Notes in Computer Science, vol.4954. Springer-Verlag, Berlin, Germany, 20-35.
14. APEL, S., LENGAUER, C., MÖLLER, B., AND KÄSTNER, C. 2008c. An algebra for features and feature composition. In Proceedings of the International Conference on Algebraic Methodology and Software Technology (AMAST). Lecture Notes in Computer Science, vol.5140. Springer-Verlag, Berlin, Germany, 36-50.
15. APEL, S.,LENGAUER, C.,MÖLLER, B., AND KÄSTNER, C. 2010b. An algebraic foundation for automatic feature-based program synthesis. Sci. Comput. Prog..
16. BATORY, D. 2007. From implementation to theory in product synthesis. In Proceedings of the International Symposium on Principles of Programming Languages (POPL). ACM, New York, 135-136.
17. BATORY, D., SARVELA, J., AND RAUSCHMAYER, A. 2004. Scaling step-wise refinement. IEEE Trans. Softw. Eng. 30, 355-371.
18. BERGEL, A., DUCASSE, S., NIERSTRASZ, O., AND WUYTS, R. 2008. Stateful traits and their formalization. Comput. Lang. Syst. Struct. 34, 2-3, 83-108.
19. BONO, V., PATEL, A., AND SHMATIKOV, V. 1999. A core calculus of classes and mixins. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science, vol.1628. Springer-Verlag, Berlin, Germanym 43-66.
20. BOSCH, J. 1999. Super-imposition: A component adaptation technique. Inf. Softw. Tech. 41, 5, 257-273.
21. BOUDOL, G. 2004. The recursive record semantics of objects revisited. J. Funct. Prog. 14, 3, 263-315.
22. BOUGE, L. AND FRANCEZ, N. 1988. A compositional approach to superimposition. In Proceedings of the International Symposium on Principles of Programming Languages (POPL). ACM, New York, 240-249.
23. BRACHA, G. AND COOK, W. 1990. Mixin-based inheritance. In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) and of the European Conference on Object-Oriented Programming (ECOOP). ACM, New York, 303-311.
24. CARDELLI, L. ANDWEGNER, P. 1985. On understanding types, data abstraction, and polymorphism. ACM Comput. Surv. 17, 4, 471-522.
25. CLARKE, D.,DROSSOPOULOU, S.,NOBLE, J., AND WRIGSTAD, T. 2007. Tribe: A simple virtual class calculus. In Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD). ACM, New York, 121-134.
26. COMPAGNONI, A. AND GOGUEN, H. 2003. Typed operational semantics for higher order subtyping. Inf. Computation 184, 2, 242-297.
27. COOK, W. 1991. Object-oriented programming versus abstract data types. In Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages. Lecture Notes in Computer Science, vol.489. Springer-Verlag, Berlin, Germany, 151-178.
28. DELAWARE, B., COOK, W., AND BATORY, D. 2009. Fitting the pieces together: A machine-checked model of safe composition. In Proceedings of the International Symposium on Foundations of Software Engineering (FSE). ACM, New York, 243-252.
29. DUCASSE, S.,NIERSTRASZ, O., SCHÄRLI, N.,WUYTS, R., AND BLACK, A. 2006. Traits: A mechanism for fine-grained reuse. ACM Trans. Prog. Lang. Syst. 28, 2, 331-388.
30. ERNST, E. 2001. Family polymorphism. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science, vol.2072. Springer-Verlag, Berlin, Germany, 303-326.
31. ERNST, E. 2003. Higher-order hierarchies. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science, vol.2743. Springer-Verlag, Berlin, Germany, 303-329.
32. ERNST, E., OSTERMANN, K., AND COOK, W. 2006. A virtual class calculus. In Proceedings of the International Symposium on Principles of Programming Languages (POPL). ACM, New York, 270-282.
33. FINDLER, R. AND FLATT, M. 1998. Modular object-oriented programming with units and mixins. In Proceedings of the International Conference on Functional Programming (ICFP). ACM, New York, 94-104.
34. FLATT, M., KRISHNAMURTHI, S., AND FELLEISEN, M. 1998. Classes and mixins. In Proceedings of the International Symposium on Principles of Programming Languages (POPL). ACM, New York, 171-183.
35. HUTCHINS, D. 2006. Eliminating distinctions of class: Using prototypes to model virtual classes. In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). ACM, New York, 1-19. (Pubitemid 44643663)
36. HUTCHINS, D. 2009. Pure Subtype Systems: A Type Theory For Extensible Software. Ph.D. dissertation, University of Edinburgh, Edinburgh, UK.
37. HUTCHINS, D. 2010. Pure Subtype Systems. In Proceedings of the International Symposium on Principles of Programming Languages (POPL). ACM, New York, 287-298.
38. IGARASHI, A., PIERCE, B., AND WADLER, P. 1999. Featherweight Java: A minimal core calculus for Java and GJ. In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). ACM, New York, 132-146.
39. JOHNSSON, T. 1985. Lambda lifting: Transforming programs to recursive equations. In Proceedings of the International Conference on Functional Programming Languages and Computer Architecture (FPCA). Springer-Verlag, Berlin, Germany, 190-203.
40. KAMINA, T. AND TAMAI, T. 2004. McJava-A design and implementation of Java with mixin-types. In Proceedings of the Asian Symposium on Programming Languages and Systems (APLAS). Lecture Notes in Computer Science, vol.3302. Springer-Verlag, Berlin, Germany, 398-414.
41. KÄSTNER, C. AND APEL, S. 2008. Type-checking software product lines-A formal approach. In Proceedings of the International Conference on Automated Software Engineering (ASE). IEEE Computer Society Press, Los Alamitos, CA, 258-267.
42. KÄSTNER, C., APEL, S., UR RAHMAN, S., ROSENMÜLLER, M., BATORY, D., AND SAAKE, G. 2009. On the impact of the optional feature problem: Analysis and case studies. In Proceedings of the International Software Product Line Conference (SPLC). CarnegieMellonUniversity, Pittsburgh, PA, 181-190.
43. KICZALES, G., LAMPING, J.,MENDHEKAR, A.,MAEDA, C., LOPES, C., LOINGTIER, J.-M., AND IRWIN, J. 1997. Aspect-oriented programming. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science, vol.1241. Springer-Verlag, Berlin, Germany, 220-242.
44. KRISHNAMURTHI, S., FELLEISEN, M., AND FRIEDMAN, D. 1998. Synthesizing object-oriented and functional design to promote re-use. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science, vol.1445. Springer-Verlag, Berlin, Germany, 91-113.
45. LI, H., KRISHNAMURTHI, S., AND FISLER, K. 2002. Verifying cross-cutting features as open systems. In Proceedings of the International Symposium on Foundations of Software Engineering (FSE). ACM, New York, 89-98.
46. LI, H.,KRISHNAMURTHI, S., AND FISLER, K. 2005. Modular verification of open features using threevalued model checking. Automat. Softw. Eng. 12, 3, 349-382.
47. LIU, J.,BATORY, D., AND LENGAUER, C. 2006. Feature-oriented refactoring of legacy applications. In Proceedings of the International Conference on Software Engineering (ICSE). ACM, New York, 112-121.
48. LOPEZ-HERREJON, R.,BATORY, D., AND LENGAUER, C. 2006. A disciplined approach to aspect composition. In Proceedings of the International Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM). ACM, New York, 68-77.
49. MADSEN, O. AND MOLLER-PEDERSEN, B. 1989. Virtual classes: A powerful mechanism in objectoriented programming. In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). ACM, New York, 397-406.
50. MCDIRMID, S. AND HSIEH, W. 2003. Aspect-oriented programming with Jiazzi. In Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD). ACM,New York, 70-79.
51. MCDIRMID, S.,HSIEH, W., AND FLATT, M. 2006. A framework for modular linking in OO languages. In Proceedings of the Joint Modular Languages Conference (JMLC). Lecture Notes in Computer Science, vol.4228. Springer-Verlag, Berlin, Germany, 116-135.
52. MEZINI, M. AND OSTERMANN, K. 2004. Variability management with feature-oriented programming and aspects. In Proceedings of the International Symposium on Foundations of Software Engineering (FSE). ACM, New York, 127-136.
53. MILLSTEIN, T. AND CHAMBERS, C. 2002. Modular statically typed multimethods. Inf. Comput. 175, 1, 76-118.
54. NYSTROM, N.,CHONG, S., ANDMYERS, A. 2004. Scalable extensibility via nested inheritance. In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). ACM, New York, 99-115.
55. ODERSKY, M., CREMET, V., RÖCKL, C., AND ZENGER, M. 2003. A nominal theory of objects with dependent types. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science, vol.2743. Springer-Verlag, Berlin, Germany, 201-224.
56. OSSHER, H. AND HARRISON, W. 1992. Combination of inheritance hierarchies. In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). ACM, New York, 25-40.
57. PIERCE, B. 1994. Bounded quantification is undecidable. Inf. Comput. 112, 1, 131-165.
58. PIERCE, B. 2002. Types and Programming Languages. MIT Press, Cambridge, MA.
59. PREHOFER, C. 1997. Feature-oriented programming: A fresh look at objects. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science, vol.1241. Springer-Verlag, Berlin, Germany, 419-443.
60. REYNOLDS, J. 1994. User-defined types and procedural data structures as complementary approaches to data abstraction. In Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design. MIT Press, Cambridge, MA, 13-23.
61. SMARAGDAKIS, Y. AND BATORY, D. 2002. Mixin layers: An object-oriented implementation technique for refinements and collaboration-based designs. ACMTrans. Softw. Eng.Method. 11, 2, 215-255.
62. STEFFEN,M. 1997. Polarized higher-order subtyping. Ph.D. dissertation, University of Erlangen-Nuremberg, Nuremberg, Germany.
63. STEFFEN, M. AND PIERCE, B. 1994. Higher-order subtyping. Tech. rep. ECS-LFCS-94-280, University of Edinburgh, Edinburgh, UK.
64. TARR, P., OSSHER, H., HARRISON, W., AND SUTTON, JR., S. 1999. N degrees of separation: Multidimensional separation of concerns. In Proceedings of the International Conference on Software Engineering (ICSE). IEEE Computer Society Press, Los Alamitos, CA, 107-119.
65. TERESE. 2003. Term rewriting systems. In Cambridge Tracts in Theoretical Computer Science. Vol.55. Cambridge University Press.
66. THAKER, S., BATORY, D., KITCHIN, D., AND COOK, W. 2007. Safe composition of product lines. In Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE). ACM, New York, 95-104.
67. TORGERSEN, M. 2004. The expression problem revisited. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science, vol.3086. Springer-Verlag, Berlin, Germany, 123-143.
68. TRUJILLO, S., BATORY, D., AND DIAZ, O. 2006. Feature refactoring a multi-representation program into a product line. In Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE). ACM, New York, 191-200.
69. WRIGHT, A. AND FELLEISEN, M. 1994. A syntactic approach to type soundness. Inf. Comput. 115, 1, 38-94.
70. ZENGER, M. AND ODERSKY,M. 2005. Independently extensible solutions to the expression problem. In Proceedings of the International Workshop on Foundations of Object-Oriented Languages (FOOL). ACM, New York.