acm_2614628.2614630.bib
(type-)safe software product line.OPAL is a general purpose library for static analysis of Java Bytecode that is already successfully used. We present OPAL and show how a design based on software produce line [...] @inproceedings{10.1145/2614628.2614630, author = {Eichberg, Michael and Hermann, Ben}, title = {A Software Product Line for Static Analyses: The OPAL Framework}, year = {2014}, isbn = {9781450329194}, publisher [...] analysis. To solve these issues, we propose to implement static analyses as highly-configurable software product lines (SPLs). Furthermore, we also discuss an implementation of an SPL for static analyses …
bib, 1 KB