{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003392331,0.001321819,0.001708589,0.001800379,0.00153071,0.00506905,0.002345318,0.001605863,0.008993177],"category_scores_gemma":[0.007644177,0.002147621,0.003083789,0.002074499,0.004699733,0.007232702,0.00345564,0.004693828,0.002901734],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002528833,"about_ca_system_score_gemma":0.002092862,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001640409,"about_ca_topic_score_gemma":0.002785129,"domain_scores_codex":[0.9965928,0.0007453198,0.0005223453,0.0004556691,0.001323841,0.0003599535],"domain_scores_gemma":[0.9944352,0.003316164,0.0003356583,0.001223581,0.0005085991,0.000180859],"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.00008351236,0.00003834981,0.0002861225,0.0001787438,0.00002547432,0.0002028893,0.0006626048,0.007791486,0.002839166,0.9580651,0.001449204,0.02837745],"study_design_scores_gemma":[0.00004454106,0.00002169686,0.00007470927,0.00005441522,0.00003616313,0.0001081553,0.00008678717,0.01950638,0.004619312,0.965393,0.01000784,0.00004683929],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0148811,0.0003116721,0.9712468,0.0002161007,0.00009008127,0.0001463635,0.0003156367,0.00303229,0.009759988],"genre_scores_gemma":[0.3637923,0.001051581,0.6060975,0.0002543114,0.0001822185,0.0007733122,0.001611134,0.004018782,0.0222189],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008993177,"threshold_uncertainty_score":0.03008521,"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."}}