{"id":"W1490127894","doi":"","title":"A Boolean grammar for a simple programming language","year":2004,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Programming language; Computer science; Grammar; Regular grammar; First-generation programming language; Programming language specification; Attribute grammar; Natural language processing; Emergent grammar; Artificial intelligence; Programming domain; Linguistics; Generative grammar; Programming paradigm; Inductive programming; Parsing","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.000292291,0.0001319756,0.0001516918,0.00006010963,0.0001384553,0.000276616,0.0005590805,0.00005903057,0.00000666506],"category_scores_gemma":[0.0000423533,0.0001020214,0.0001142186,0.0002329596,0.00002679512,0.0002475112,0.0001124976,0.00006158612,0.00007199312],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004422359,"about_ca_system_score_gemma":0.00006160261,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005257595,"about_ca_topic_score_gemma":0.0002823389,"domain_scores_codex":[0.9988407,0.00001639285,0.0001899576,0.0003459758,0.0001706886,0.0004362673],"domain_scores_gemma":[0.9993069,0.00003420597,0.00006359153,0.0004275729,0.00005614495,0.0001115617],"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.000002851059,0.00007136056,0.0001098941,0.00003271974,0.00001408116,0.0000167406,0.001732125,0.00001326528,0.0002100191,0.8014422,0.0003047187,0.19605],"study_design_scores_gemma":[0.00353783,0.001129047,0.0002167094,0.00001067865,0.00002478378,0.0001545675,0.001805259,0.00349674,0.007247909,0.292564,0.6888448,0.0009676125],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001822845,0.0001385402,0.9931667,0.0003532769,0.0002102977,0.0006439614,4.599715e-7,0.0006102694,0.003053652],"genre_scores_gemma":[0.879458,9.623662e-7,0.1190203,0.0002542681,0.0001417141,0.000131965,0.000007015291,0.0000121116,0.0009737707],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8776351,"threshold_uncertainty_score":0.4160313,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.020132150228707,"score_gpt":0.2688175982795968,"score_spread":0.2486854480508898,"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."}}