{"id":"W142148650","doi":"","title":"A Formal Translation From an Imperative Language With Array to a Declarative Language","year":2006,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Programming language; Translation (biology); Function (biology); Fifth-generation programming language; Declarative programming; Natural language processing; Artificial intelligence; Programming paradigm; Inductive programming","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.002499063,0.0008766339,0.0005338851,0.0006908884,0.0006930765,0.002379985,0.001473328,0.00103614,0.005788418],"category_scores_gemma":[0.005824564,0.0007001384,0.001219761,0.000525002,0.002691154,0.002831063,0.00205813,0.00255399,0.002380543],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007997561,"about_ca_system_score_gemma":0.001611398,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007322158,"about_ca_topic_score_gemma":0.0003516928,"domain_scores_codex":[0.9980331,0.0004994325,0.0002437701,0.0004005888,0.0005913603,0.0002318039],"domain_scores_gemma":[0.9966908,0.001845874,0.0002684359,0.0004273269,0.000668732,0.00009892407],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001793453,0.0002536873,0.0006370131,0.0007325672,0.00004430679,0.001295109,0.002368082,0.009658099,0.02547499,0.8278784,0.007747143,0.1237312],"study_design_scores_gemma":[0.0002995637,0.0009756339,0.0008673579,0.0004813474,0.0002041304,0.003502229,0.0007144762,0.1675192,0.09852705,0.5074604,0.2192369,0.0002116183],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00374022,0.0001107443,0.9910343,0.0003884954,0.0001690939,0.0000884936,0.00007457781,0.00221484,0.002179268],"genre_scores_gemma":[0.08870547,0.0003965346,0.9031468,0.0007160928,0.0002830774,0.0003623324,0.0003283246,0.001101166,0.004960081],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005788418,"threshold_uncertainty_score":0.01936418,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08441034786377535,"score_gpt":0.3616782562847342,"score_spread":0.2772679084209588,"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."}}