{"id":"W2060785515","doi":"10.1016/j.knosys.2005.10.003","title":"Converting an imperative program to a declarative one","year":2005,"lang":"en","type":"article","venue":"Knowledge-Based Systems","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Programming language; Computer science; Denotational semantics; Correctness; Semantics (computer science); Action semantics; Operational semantics; Formal semantics (linguistics); Theoretical computer science","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.001651793,0.0004483829,0.0004636837,0.0005831034,0.0004918161,0.002594328,0.001267139,0.0008808924,0.007294976],"category_scores_gemma":[0.008254603,0.0005081875,0.0008254459,0.0005974771,0.001411496,0.00273211,0.001921408,0.002113595,0.002820226],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004007677,"about_ca_system_score_gemma":0.001001732,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000894524,"about_ca_topic_score_gemma":0.001050439,"domain_scores_codex":[0.9991333,0.0001622726,0.00009127818,0.0001825105,0.000325407,0.0001052936],"domain_scores_gemma":[0.9958522,0.00271104,0.0001616406,0.0006555978,0.0005357206,0.00008369856],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0005661078,0.0006136454,0.002665189,0.001327903,0.0001320469,0.001220889,0.00261559,0.01878914,0.04721843,0.5609907,0.02728613,0.3365742],"study_design_scores_gemma":[0.0002710552,0.0003363982,0.001365504,0.00036367,0.000260151,0.001339035,0.001090229,0.142999,0.1054512,0.593774,0.1526117,0.0001381524],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01521821,0.00007566722,0.9658919,0.0006918224,0.0002991102,0.0001403312,0.000355581,0.007745439,0.00958202],"genre_scores_gemma":[0.1857866,0.0003976615,0.7930691,0.0008803037,0.000172539,0.0002836592,0.001037209,0.002633533,0.0157394],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007294976,"threshold_uncertainty_score":0.02440417,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04294381870815515,"score_gpt":0.3071230428401327,"score_spread":0.2641792241319775,"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."}}