{"id":"W2152708691","doi":"10.1109/scam.2005.15","title":"Implementation and Verification of Implicit-Invocation Systems Using Source Transformation","year":2006,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Programming language; Executable; Model transformation; Transformation (genetics); Invocation; Program transformation; Software engineering; Software system; Formal verification; Software; Artificial intelligence","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":[],"consensus_categories":[],"category_scores_codex":[0.0005385083,0.00007873253,0.00009751916,0.0001315596,0.00008545431,0.00008189627,0.0001592422,0.00004576759,0.000002354031],"category_scores_gemma":[0.000006363572,0.00007865835,0.00001890378,0.0002931934,0.00002528824,0.0011282,0.00001859383,0.00003271263,0.000002061335],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005919584,"about_ca_system_score_gemma":0.00002624304,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001352679,"about_ca_topic_score_gemma":0.00001519553,"domain_scores_codex":[0.9990144,0.00008793909,0.0004187783,0.0001750163,0.0001892177,0.0001146737],"domain_scores_gemma":[0.9993458,0.00002409012,0.0002311935,0.0002567652,0.0001203724,0.00002180583],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000040198,0.00002300028,0.001191445,0.00007845795,0.000004636846,3.018946e-8,0.0007057972,0.003240287,0.1308427,0.8134651,0.00002104763,0.05042349],"study_design_scores_gemma":[0.00030004,0.0000462105,0.02370228,0.0000135781,0.00001132335,0.00001456004,0.0006947336,0.8557389,0.1172601,0.001644761,0.0004393021,0.0001342331],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2424639,0.00004886995,0.7563967,0.00003868779,0.00009136827,0.0002510209,0.000001195257,0.00006459686,0.0006436532],"genre_scores_gemma":[0.7890271,0.000006761336,0.2108879,0.000009542236,0.00002282667,0.00001403112,0.00001389822,0.000004419088,0.00001352784],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8524986,"threshold_uncertainty_score":0.3207594,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02766656352153828,"score_gpt":0.3159978485095209,"score_spread":0.2883312849879826,"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."}}