{"id":"W4233082099","doi":"10.1145/2578855.2535881","title":"Fair reactive programming","year":2014,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Liveness; Mathematical proof; Linear logic; Computer science; Calculus (dental); Mathematics; Constructive; Fixed point; Type theory; Operational semantics; Normalization (sociology); Semantics (computer science); Algebra over a field; Theoretical computer science; Programming language; Type (biology); Pure mathematics","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.004738145,0.0006952851,0.0004463428,0.0008336981,0.001775247,0.003486675,0.00225585,0.001109164,0.007078278],"category_scores_gemma":[0.01068229,0.0004881262,0.001099003,0.0006622422,0.00531949,0.004534556,0.002674246,0.001964099,0.0009936151],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00226937,"about_ca_system_score_gemma":0.002932735,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003144605,"about_ca_topic_score_gemma":0.003693732,"domain_scores_codex":[0.9964758,0.001190152,0.0001739118,0.000793739,0.0009557297,0.0004106651],"domain_scores_gemma":[0.9949727,0.002491498,0.0003537439,0.001209521,0.000714215,0.0002582589],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001643497,0.00001262275,0.0001249038,0.00002881845,0.000007148083,0.00004758229,0.0001757622,0.008050848,0.0006550236,0.9789118,0.0007450437,0.0112241],"study_design_scores_gemma":[0.00002195264,0.00002674035,0.00005734002,0.0000277668,0.0000231799,0.00007283812,0.00006194946,0.05744615,0.002476964,0.9162964,0.023474,0.00001465424],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006230466,0.0001901173,0.9691027,0.0007406811,0.000140757,0.0000888139,0.00007009896,0.000923618,0.02251267],"genre_scores_gemma":[0.4571202,0.0005320109,0.5068493,0.0006793083,0.0003027721,0.000367013,0.0001954875,0.0004420461,0.03351186],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007078278,"threshold_uncertainty_score":0.02505803,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02960920620908831,"score_gpt":0.2936143468160414,"score_spread":0.2640051406069531,"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."}}