{"id":"W2027110574","doi":"10.1016/s0167-6423(00)00004-6","title":"On a formal semantics of tabular expressions","year":2001,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":55,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Programming language; Documentation; Semantics (computer science); Formal methods; Syntax; Readability; Formal semantics (linguistics); Software engineering; Artificial intelligence","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.001008409,0.0001277394,0.0002180191,0.0002495739,0.0001271786,0.00005413083,0.001554631,0.00003626994,0.000002058822],"category_scores_gemma":[0.0003031539,0.0001102066,0.00006367779,0.001366896,0.0003942052,0.00093212,0.0008116866,0.0001182119,0.000002663769],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002454692,"about_ca_system_score_gemma":0.00006963765,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003916672,"about_ca_topic_score_gemma":3.26946e-7,"domain_scores_codex":[0.9983284,0.00003602699,0.0002881952,0.0003387668,0.0005560044,0.0004525452],"domain_scores_gemma":[0.9986174,0.0003255871,0.0001690629,0.0006468934,0.0001518422,0.00008919464],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000007973579,0.0001283701,0.0004719265,0.00004025253,0.000007066476,0.00001483959,0.0008994206,0.1957787,0.01061925,0.05729539,0.00002866726,0.7347081],"study_design_scores_gemma":[0.001349469,0.002714637,0.008285216,0.0009698936,0.00002029409,0.0001353863,0.0001487334,0.6855716,0.2012327,0.09461638,0.003660042,0.001295684],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.09148491,0.00002702941,0.9076743,0.00006356814,0.000396429,0.000128642,2.406942e-7,0.0001786794,0.00004619616],"genre_scores_gemma":[0.3968697,0.000003206427,0.6030861,0.00001255663,0.00001549736,0.000003899732,1.030341e-7,0.000003798678,0.000005230419],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7334124,"threshold_uncertainty_score":0.4494094,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02854579184539554,"score_gpt":0.3014508763400059,"score_spread":0.2729050844946104,"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."}}