{"id":"W2530217257","doi":"","title":"Privacy-sensitive information flow with JML","year":2005,"lang":"en","type":"article","venue":"","topic":"Hermeneutics and Narrative Identity","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Java; Correctness; Programming language; Hoare logic; Relation (database); Mathematical proof; Control flow; Class (philosophy); Information flow; Interface (matter); Database; Artificial intelligence; Operating system","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.01830299,0.001111494,0.000814237,0.002024099,0.001624239,0.005765771,0.00317892,0.002161192,0.0061212],"category_scores_gemma":[0.03076281,0.001737443,0.00265325,0.001192347,0.005782796,0.009731209,0.005382811,0.004673142,0.001690554],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003103497,"about_ca_system_score_gemma":0.004817638,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005313128,"about_ca_topic_score_gemma":0.00447634,"domain_scores_codex":[0.9834324,0.007507492,0.001602976,0.001678746,0.00472751,0.001051016],"domain_scores_gemma":[0.9704601,0.01838763,0.002299867,0.005630296,0.002769268,0.000452805],"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.0002244628,0.0001548749,0.001834434,0.0005221484,0.00006665073,0.0005784478,0.001674881,0.02607326,0.007782085,0.8762411,0.008285239,0.0765624],"study_design_scores_gemma":[0.0001827754,0.0001227541,0.000405137,0.000412945,0.0001223149,0.0006222993,0.0002462826,0.3389882,0.04593688,0.4587292,0.154077,0.0001540934],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001818955,0.00003546413,0.9909703,0.0004520362,0.00003946463,0.0001147774,0.000103579,0.004580224,0.001885236],"genre_scores_gemma":[0.1057824,0.0001597161,0.8861803,0.0007048497,0.0001032497,0.00044624,0.0003959879,0.001927671,0.004299619],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01830299,"threshold_uncertainty_score":0.09679663,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01365533858119083,"score_gpt":0.2013912430198806,"score_spread":0.1877359044386898,"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."}}