{"id":"W2255858640","doi":"","title":"The ELAN Environment: an Rewriting Logic Environment based on ASF+SDF Technology","year":2002,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Component (thermodynamics); Computer science; Development environment; Rewriting; Architecture; Software engineering; Programming language","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.002436794,0.000636647,0.0007329087,0.0008092175,0.0007401539,0.001989015,0.00203961,0.001055533,0.01045129],"category_scores_gemma":[0.003867263,0.0007287175,0.00083384,0.0005888829,0.001086936,0.002689416,0.001477261,0.001284482,0.003678339],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006290462,"about_ca_system_score_gemma":0.001321157,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001809641,"about_ca_topic_score_gemma":0.002816206,"domain_scores_codex":[0.9987197,0.0003710771,0.0001238654,0.0002209312,0.0004379927,0.0001265202],"domain_scores_gemma":[0.9986054,0.0006433835,0.0001060899,0.000330067,0.0002331537,0.00008186977],"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.000851853,0.0002746675,0.001692128,0.0007752904,0.0001046075,0.0009952164,0.000975194,0.03846999,0.04705868,0.3550502,0.05148678,0.5022654],"study_design_scores_gemma":[0.0006474252,0.000352355,0.0004697793,0.0001725055,0.0001543347,0.001077789,0.0001431244,0.2717951,0.06419177,0.1851228,0.4757129,0.0001600984],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005158202,0.0002239319,0.9613315,0.0001763413,0.0001318003,0.0001245002,0.0003256074,0.02587994,0.006648177],"genre_scores_gemma":[0.1392181,0.000798089,0.8213277,0.000377751,0.0002048522,0.000337745,0.001713982,0.006720109,0.02930169],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01045129,"threshold_uncertainty_score":0.03496301,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01623672130865207,"score_gpt":0.199270213598756,"score_spread":0.1830334922901039,"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."}}