Article

Variability-Aware Datalog

Authors:

Practical Aspects of Declarative Languages: 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings

Pages 213 - 221

https://doi.org/10.1007/978-3-030-39197-3_14

Published: 20 January 2020 Publication History

Abstract

Variability-aware computing is the efficient application of programs to different sets of inputs that exhibit some variability. One example is program analyses applied to Software Product Lines (SPLs). In this paper we present the design and development of a variability-aware version of the Soufflé Datalog engine. The engine can take facts annotated with Presence Conditions (PCs) as input, and compute the PCs of its inferred facts, eliminating facts that do not exist in any valid configuration. We evaluate our variability-aware Soufflé implementation on several fact sets annotated with PCs to measure the associated overhead in terms of processing time and database size.

References

[1]

Bodden, E., Tolêdo, T., Ribeiro, M., Brabrand, C., Borba, P., Mezini, M.: SPLLIFT: statically analyzing software product lines in minutes instead of years. In: Proceedings of PLDI 2013, pp. 355–364. ACM (2013)

Google Scholar

[2]

Bravenboer, M., Smaragdakis, Y.: Strictly declarative specification of sophisticated points-to analyses. In: Proceedings of the 24th ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2009, pp. 243–262. ACM, New York (2009)

Google Scholar

[3]

Ceri S, Gottlob G, and Tanca L What you always wanted to know about datalog (and never dared to ask) IEEE Trans. Knowl. Data Eng. 1989 1 1 146-166

Crossref

Google Scholar

[4]

Classen, A., Heymans, P., Schobbens, P.Y., Legay, A., Raskin, J.F.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: Proceedings of the 32Nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, vol. 1, pp. 335–344. ACM, New York (2010)

Google Scholar

[5]

Clements P and Northrop L Software Product Lines: Practices and Patterns 2001 Boston Addison-Wesley Professional

Google Scholar

[6]

Gazzillo Paul and Grimm Robert SuperC ACM SIGPLAN Notices 2012 47 6 323-334

Crossref

Google Scholar

[7]

Huth M and Ryan M Logic in Computer Science 2004 2 Cambridge Cambridge University Press

Google Scholar

[8]

Jordan H, Scholz B, and Subotić P Chaudhuri S and Farzan A Soufflé: on synthesis of program analyzers Computer Aided Verification 2016 Cham Springer 422-430

Google Scholar

[9]

Kästner C, Apel S, Thüm T, and Saake G Type checking annotation-based product lines ACM Trans. Softw. Eng. Methodol. 2012 21 3 14:1-14:39

Crossref

Google Scholar

[10]

Midtgaard J, Dimovski AS, Brabrand C, and Wąsowski A Systematic derivation of correct variability-aware program analyses Sci. Comput. Program. 2015 105 C 145-170

Crossref

Google Scholar

[11]

Salay, R., Famelis, M., Rubin, J., Di Sandro, A., Chechik, M.: Lifting model transformations to product lines. In: Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp. 117–128. ACM, New York (2014)

Google Scholar

[12]

Shahin, R., Chechik, M., Salay, R.: Lifting datalog-based analyses to software product lines. In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2019, pp. 39–49. ACM, New York (2019)

Google Scholar

[13]

Somenzi, F.: CUDD: CU decision diagram package release 2.2.0, July 1998

Google Scholar

[14]

Thüm T, Apel S, Kästner C, Schaefer I, and Saake G A classification and survey of analysis strategies for software product lines ACM Comput. Surv. 2014 47 1 6:1-6:45

Crossref

Google Scholar

Cited By

View all

Shahin RJuristo N(2021)Towards modal software engineeringProceedings of the 43rd International Conference on Software Engineering: New Ideas and Emerging Results10.1109/ICSE-NIER52604.2021.00026(86-90)Online publication date: 25-May-2021
https://dl.acm.org/doi/10.1109/ICSE-NIER52604.2021.00026

Index Terms

Variability-Aware Datalog

Index terms have been assigned to the content through auto-classification.

Recommendations

Automatic and efficient variability-aware lifting of functional programs

A software analysis is a computer program that takes some representation of a software product as input and produces some useful information about that product as output. A software product line encompasses many software product variants, and thus ...
Annotative Software Product Line Analysis Using Variability-Aware Datalog
Applying program analyses to Software Product Lines (SPLs) has been a fundamental research problem at the intersection of Product Line Engineering and software analysis. Different attempts have been made to “lift” particular product-level ...
A variability-aware module system
OOPSLA '12: Proceedings of the ACM international conference on Object oriented programming systems languages and applications

Module systems enable a divide and conquer strategy to software development. To implement compile-time variability in software product lines, modules can be composed in different combinations. However, this way, variability dictates a dominant ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Practical Aspects of Declarative Languages: 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings

Jan 2020

234 pages

ISBN:978-3-030-39196-6

DOI:10.1007/978-3-030-39197-3

Editors:
Ekaterina Komendantskaya
Heriot-Watt University, Edinburgh, UK
,
Yanhong Annie Liu
Stony Brook University, New York, USA

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 20 January 2020

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Shahin RJuristo N(2021)Towards modal software engineeringProceedings of the 43rd International Conference on Software Engineering: New Ideas and Emerging Results10.1109/ICSE-NIER52604.2021.00026(86-90)Online publication date: 25-May-2021
https://dl.acm.org/doi/10.1109/ICSE-NIER52604.2021.00026

Abstract

References

Cited By

Index Terms

Recommendations

Automatic and efficient variability-aware lifting of functional programs

Annotative Software Product Line Analysis Using Variability-Aware Datalog

A variability-aware module system

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations