{"id":"W2107811907","doi":"10.1109/case.1992.200136","title":"Structural and behavioral code representation for program understanding","year":2003,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Computer Research Institute of Montréal","funders":"","keywords":"Computer science; Programming language; Parsing; Compiler; Theoretical computer science; Semantics (computer science); Abstract interpretation; Static program analysis; Abstract syntax; Representation (politics); Source code; Artificial intelligence; Software; Software development","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.0001340903,0.00005839935,0.00006705674,0.00003184855,0.00006628932,0.00006849368,0.00009707242,0.00002439563,0.000001190998],"category_scores_gemma":[0.0001924581,0.00005137938,0.00001636607,0.00009791121,0.00002476814,0.0002928439,0.00002946737,0.00003417383,1.765485e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000364047,"about_ca_system_score_gemma":0.000008248829,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001771705,"about_ca_topic_score_gemma":0.000002838558,"domain_scores_codex":[0.9995224,0.00002865097,0.000074157,0.0001828309,0.00005868091,0.0001332667],"domain_scores_gemma":[0.9995487,0.0002388861,0.00002139781,0.0001437056,0.00001834683,0.0000289417],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000004253558,0.00001251346,0.001912796,0.0000166198,0.000006983574,0.000002403823,0.0005152088,0.006159628,0.0006392169,0.9263412,0.00007761117,0.06431153],"study_design_scores_gemma":[0.001019881,0.0005074676,0.002983596,0.00001188602,0.00001408644,0.00006375779,0.0008404889,0.06334042,0.01584283,0.9140474,0.0008389127,0.0004892626],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0160564,0.00003078183,0.9828737,0.00004558402,0.0001981463,0.0002402918,5.937886e-7,0.0004693015,0.00008514749],"genre_scores_gemma":[0.2722146,0.000001506058,0.7276917,0.000008328589,0.000004926114,0.00002442932,6.377406e-7,0.00000350618,0.00005036067],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2561582,"threshold_uncertainty_score":0.209519,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2813143068140488,"score_gpt":0.4280398682526526,"score_spread":0.1467255614386038,"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."}}