{"id":"W7133093643","doi":"","title":"Toward a formal characterization of garbage collection","year":2004,"lang":"","type":"dissertation","venue":"TSpace","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Bibliographical Society of Canada","funders":"","keywords":"Intuition; Garbage collection; Computation; Interpretation (philosophy); Formal specification; Formal description; Formal methods","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.009149226,0.001857328,0.001625453,0.004304474,0.00348721,0.01033358,0.005139114,0.003065644,0.005599942],"category_scores_gemma":[0.01431394,0.002012291,0.003031967,0.004566743,0.02082405,0.02958181,0.007274042,0.01109357,0.001827039],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004489105,"about_ca_system_score_gemma":0.004292394,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002707362,"about_ca_topic_score_gemma":0.001824404,"domain_scores_codex":[0.992824,0.002357025,0.0006741416,0.001319374,0.001966206,0.0008592473],"domain_scores_gemma":[0.987771,0.006112252,0.001311343,0.002277345,0.00204937,0.0004786473],"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.00001081219,0.00001141566,0.00007476215,0.00006139027,0.00000391288,0.00003232754,0.0003637846,0.001557099,0.0003297104,0.9941437,0.0006209592,0.002790269],"study_design_scores_gemma":[0.00001833075,0.00002408948,0.00005554312,0.0001338253,0.00001448132,0.0001072702,0.0002169936,0.01079922,0.0018028,0.9589399,0.02785385,0.00003368652],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005303611,0.001776116,0.9750468,0.003140063,0.0003902784,0.0001257716,0.000157046,0.0006240581,0.01343631],"genre_scores_gemma":[0.2948465,0.005253138,0.6770712,0.002941207,0.001945438,0.001283355,0.0007986918,0.001478104,0.01438238],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01033358,"threshold_uncertainty_score":0.04838628,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02695859035631554,"score_gpt":0.2872787078772208,"score_spread":0.2603201175209053,"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."}}