{"id":"W4238485182","doi":"10.36227/techrxiv.14870187","title":"Software Product Line Analysis Using Variability-aware Datalog","year":2021,"lang":"en","type":"preprint","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Datalog; Computer science; Programming language; Software product line; Software; Java; Product (mathematics); Pointer (user interface); Cartesian product; Inference; Class (philosophy); Lift (data mining); Set (abstract data type); Theoretical computer science; Software development; Data mining; Artificial intelligence; Mathematics; Discrete mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001503779,0.000739395,0.0005329438,0.001658693,0.0003975613,0.001963379,0.001774989,0.0005172732,0.001624801],"category_scores_gemma":[0.008337214,0.0007228798,0.001376494,0.001148365,0.001047778,0.003111361,0.001622012,0.001737397,0.0005086668],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006982114,"about_ca_system_score_gemma":0.001721377,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002864243,"about_ca_topic_score_gemma":0.004231694,"domain_scores_codex":[0.9979241,0.0003912731,0.0001362778,0.000320609,0.001117034,0.0001106197],"domain_scores_gemma":[0.9918915,0.004653002,0.0006104283,0.001961946,0.0008016804,0.00008138978],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002258965,0.0002160557,0.01015906,0.0005923598,0.0001710719,0.0004471561,0.0004702913,0.4145162,0.04801567,0.0587369,0.003870428,0.4625789],"study_design_scores_gemma":[0.0000151101,0.00004594597,0.0005641148,0.00004023613,0.00002908627,0.00008970093,0.00004158797,0.934401,0.02004444,0.04080459,0.003904836,0.00001930357],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0159395,0.00009207437,0.9778944,0.00009706581,0.00001202717,0.00003455619,0.0002088541,0.005026635,0.0006947498],"genre_scores_gemma":[0.3512474,0.000363328,0.6447198,0.0001441872,0.00004594168,0.0001093199,0.001222823,0.00103735,0.001109978],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002864243,"threshold_uncertainty_score":0.007952869,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08456199291468679,"score_gpt":0.3397199496481355,"score_spread":0.2551579567334487,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}