{"id":"W3178404199","doi":"10.36227/techrxiv.14870187.v1","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":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Datalog; Computer science; Programming language; Software product line; Java; Software; Product (mathematics); Pointer (user interface); Inference; Cartesian product; Lift (data mining); Set (abstract data type); Class (philosophy); Theoretical computer science; Data mining; Software development; 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.001737976,0.0007657508,0.0005526445,0.001718016,0.0004219009,0.001964824,0.001744388,0.0005331963,0.001676015],"category_scores_gemma":[0.009426948,0.0007369719,0.001449177,0.001151721,0.001168311,0.003200447,0.001798581,0.001934318,0.0005013157],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006924143,"about_ca_system_score_gemma":0.001697837,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002543912,"about_ca_topic_score_gemma":0.003481566,"domain_scores_codex":[0.997686,0.0004314224,0.0001455288,0.0003508296,0.00126429,0.0001218496],"domain_scores_gemma":[0.9909327,0.005224261,0.0006697236,0.002207458,0.0008802091,0.0000857749],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002135242,0.0002122076,0.01025149,0.0006239676,0.000185722,0.0005043555,0.0005462375,0.3963879,0.04688715,0.0741394,0.003918858,0.4661291],"study_design_scores_gemma":[0.00001644505,0.00004807738,0.000594512,0.00004631151,0.00003312453,0.0001065489,0.00004723078,0.9174221,0.02182051,0.05579909,0.004045592,0.00002037158],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01358375,0.00007955767,0.9815832,0.00009407401,0.00001134568,0.00003114976,0.0001614056,0.003865867,0.0005897183],"genre_scores_gemma":[0.3382295,0.0003455475,0.6580505,0.0001462856,0.00005045995,0.0001060511,0.001008126,0.001016857,0.001046672],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002543912,"threshold_uncertainty_score":0.009191453,"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."}}