Affiliation:
1. Oregon State University
Abstract
Many areas of computer science are concerned with some form of variation in software---from managing changes to software over time to supporting families of related artifacts. We present the choice calculus, a fundamental representation for software variation that can serve as a common language of discourse for variation research, filling a role similar to the lambda calculus in programming language research. We also develop an associated theory of software variation, including sound transformations of variation artifacts, the definition of strategic normal forms, and a design theory for variation structures, which will support the development of better algorithms and tools.
Funder
Air Force Office of Scientific Research
Division of Computing and Communication Foundations
Publisher
Association for Computing Machinery (ACM)
Cited by
89 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. White-box validation of quantitative product lines by statistical model checking and process mining;Journal of Systems and Software;2024-04
2. Type-Based Gradual Typing Performance Optimization;Proceedings of the ACM on Programming Languages;2024-01-05
3. Experience in Specializing a Generic Realization Language for SPL Engineering at Airbus;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01
4. Deltas for Functional Programs with Algebraic Data Types;Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A;2023-08-28
5. Bringing Together Configuration Research: Towards a Common Ground;Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2022-11-29