{"id":"W2155611596","doi":"10.1109/iccl.1992.185464","title":"Static analysis of PostScript code","year":2003,"lang":"en","type":"article","venue":"","topic":"Software Engineering Research","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Abstract interpretation; Programming language; Computer science; Notation; Code (set theory); Static analysis; Stack (abstract data type); Interpretation (philosophy); Program analysis; Type inference; Theoretical computer science; Artificial intelligence; Arithmetic; Mathematics; Inference","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.0002388947,0.00004091062,0.0001086916,0.0003021953,0.00001155213,0.00002436532,0.0003447053,0.00001373817,0.0001109721],"category_scores_gemma":[0.0004859965,0.00003543546,0.00004803627,0.001732509,0.00001289459,0.0000923899,0.00004084968,0.00003944338,0.00001926415],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001666084,"about_ca_system_score_gemma":0.00003377597,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002773309,"about_ca_topic_score_gemma":0.000008173485,"domain_scores_codex":[0.999366,0.00002931383,0.0001036596,0.0001314391,0.0002312573,0.0001383393],"domain_scores_gemma":[0.9991326,0.0003292197,0.00001493818,0.0004061603,0.00006750808,0.0000495117],"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.000002994316,0.0002223148,0.2646424,0.00005859349,0.001660748,0.0000372082,0.001673076,0.03491482,0.004755001,0.6758644,0.007612283,0.008556165],"study_design_scores_gemma":[0.000405474,0.0001537862,0.3072333,0.000009656394,0.000154567,0.000006219703,0.00006612488,0.6504722,0.03190263,0.002252482,0.006980084,0.000363513],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07449459,0.00002617737,0.9236591,0.00009314166,0.00005323888,0.00003157477,0.000001261778,0.00009311451,0.001547772],"genre_scores_gemma":[0.9094077,0.000001892233,0.08993229,0.00005573966,0.000001103526,0.000002002673,5.203802e-7,0.000002517721,0.0005962084],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8349131,"threshold_uncertainty_score":0.1445016,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02036974533800225,"score_gpt":0.2798935273357492,"score_spread":0.259523781997747,"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."}}