{"id":"W658116578","doi":"","title":"SToP : Scalable Termination analysis of (C) Programs (tool presentation)","year":2012,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Emera (Canada)","funders":"","keywords":"Program slicing; Computer science; Slicing; Scalability; Modular design; Programming language; Program analysis; Code (set theory); Static analysis; Operating system; World Wide Web","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.005847575,0.0002891951,0.0004893151,0.0006515216,0.0001988382,0.0004560323,0.002139811,0.0002567314,0.00003297235],"category_scores_gemma":[0.001687675,0.0003069174,0.0003188465,0.001677484,0.0001675915,0.0003724175,0.001880556,0.0003962397,0.00001105557],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001039412,"about_ca_system_score_gemma":0.0002034119,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001381234,"about_ca_topic_score_gemma":0.0001697874,"domain_scores_codex":[0.9947534,0.002888173,0.0006494227,0.0007356196,0.000620559,0.0003528717],"domain_scores_gemma":[0.9920996,0.001480448,0.0008758677,0.002923397,0.002493208,0.0001274578],"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.000006718601,0.001843967,0.08668517,0.0003987889,0.0008265378,0.000005562561,0.01996872,0.000335951,0.0006227584,0.09376761,0.002181184,0.793357],"study_design_scores_gemma":[0.0005244061,0.000001609009,0.1612911,0.0023283,0.001026243,0.00001152977,0.00003602881,0.7458177,0.0329288,0.05260498,0.002162146,0.001267159],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05349784,0.0003818428,0.9343793,0.00155392,0.0001710692,0.0005002965,0.00001927948,0.003151208,0.006345229],"genre_scores_gemma":[0.6416007,0.00004404557,0.3566819,0.00002502747,0.00001144632,0.0001070247,0.0003027415,0.00001849573,0.001208626],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7920899,"threshold_uncertainty_score":0.9999383,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02273143310498447,"score_gpt":0.262514607741428,"score_spread":0.2397831746364435,"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."}}