{"id":"W1509407365","doi":"10.1007/978-3-642-11503-5_15","title":"Lazy Combinators for Executable Specifications of General Attribute Grammars","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Windsor","funders":"","keywords":"Computer science; Programming language; Executable; Combinatory logic; L-attributed grammar; Rule-based machine translation; Parsing; Context-free grammar; Parsing expression grammar; S-attributed grammar; Definite clause grammar; Theoretical computer science; Natural language processing","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.001662897,0.0004324124,0.0005797139,0.0007946661,0.0002971257,0.0002426013,0.004110395,0.0004521914,0.00001338176],"category_scores_gemma":[0.0002690687,0.0004267587,0.0001928561,0.0007461116,0.0009940091,0.0006403022,0.0007532728,0.0007647826,0.00001352113],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002104167,"about_ca_system_score_gemma":0.0005691323,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002384187,"about_ca_topic_score_gemma":0.00002157344,"domain_scores_codex":[0.99655,0.0000403178,0.000756491,0.001251497,0.0007792537,0.0006224512],"domain_scores_gemma":[0.9960604,0.0004791876,0.000604125,0.002062556,0.0006317036,0.0001619771],"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.000007230705,0.00005944773,0.00006040654,0.00006858388,0.00001269175,0.000003680739,0.000330037,0.004580616,0.0041849,0.7855581,0.00003961955,0.2050947],"study_design_scores_gemma":[0.0004335402,0.0002705067,0.0002890769,0.0001541352,0.00001696567,0.00003592048,2.054583e-7,0.334362,0.06998967,0.5813113,0.01236503,0.0007715785],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001515517,0.0001441431,0.9939991,0.0003670004,0.003228293,0.0008240888,0.00003335845,0.0001174424,0.001135014],"genre_scores_gemma":[0.009914829,0.00003257177,0.988906,0.0002181325,0.0002588167,0.00004039295,0.0000196959,0.00003425553,0.000575361],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3297814,"threshold_uncertainty_score":0.9998184,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04540889616830936,"score_gpt":0.2849726548595232,"score_spread":0.2395637586912138,"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."}}