{"id":"W2034196039","doi":"10.1109/sera.2010.23","title":"Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions","year":2010,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Compiler; Context (archaeology); Set (abstract data type); Scope (computer science); Fragment (logic); Variety (cybernetics); Expression (computer science); Functional programming","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.004106773,0.0008316348,0.000365927,0.0007174887,0.0004926348,0.003105874,0.001575637,0.0005484552,0.005632759],"category_scores_gemma":[0.005294241,0.000621892,0.001066925,0.0006064964,0.002346503,0.004637664,0.002930951,0.002395028,0.00114681],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001073687,"about_ca_system_score_gemma":0.001451917,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001063647,"about_ca_topic_score_gemma":0.00143081,"domain_scores_codex":[0.9982989,0.000541001,0.0001338671,0.0002842589,0.0006062647,0.0001357707],"domain_scores_gemma":[0.9980319,0.001025152,0.0001569364,0.000452577,0.0002667954,0.00006665504],"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.0003502204,0.0001545145,0.00325596,0.0006029537,0.0001022975,0.0006790184,0.002725573,0.02831809,0.02842404,0.6869358,0.01346536,0.2349862],"study_design_scores_gemma":[0.0002207331,0.0003005852,0.001541069,0.0003697665,0.0001829845,0.001301154,0.0003801909,0.2703322,0.1037535,0.4149447,0.206508,0.000165017],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00717065,0.00004724496,0.9765636,0.0001683075,0.00002530452,0.00009894666,0.00009209334,0.008418286,0.007415616],"genre_scores_gemma":[0.159618,0.0002405912,0.8267715,0.00035208,0.00003941122,0.0002965746,0.0005147175,0.003785717,0.008381478],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005632759,"threshold_uncertainty_score":0.02171898,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1812468419961175,"score_gpt":0.4096959369186498,"score_spread":0.2284490949225322,"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."}}