{"work":{"id":"69ac5f40-bbb8-4c7a-8261-443cb2d08657","openalex_id":null,"doi":null,"arxiv_id":"2950.512973","raw_key":null,"title":"Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints,","authors":null,"authors_text":"P","year":1977,"venue":null,"abstract":null,"external_url":"https://arxiv.org/abs/2950.512973","cited_by_count":null,"metadata_source":"arxiv_reference","metadata_fetched_at":"2026-06-26T08:29:13.587638+00:00","pith_arxiv_id":null,"created_at":"2026-05-10T13:20:25.327610+00:00","updated_at":"2026-06-26T08:29:13.587638+00:00","title_quality_ok":false,"display_title":"Abstract interpretation: A un ified lattice model for static analysis of programs by construction or app roximation of fixpoints","render_title":"Abstract interpretation: A un ified lattice model for static analysis of programs by construction or app roximation of fixpoints"},"hub":{"state":{"work_id":"69ac5f40-bbb8-4c7a-8261-443cb2d08657","tier":"hub","tier_reason":"10+ Pith inbound or 1,000+ external citations","pith_inbound_count":14,"external_cited_by_count":null,"distinct_field_count":5,"first_pith_cited_at":"2024-01-11T09:03:47+00:00","last_pith_cited_at":"2026-06-25T12:50:01+00:00","author_build_status":"not_needed","summary_status":"needed","contexts_status":"needed","graph_status":"needed","ask_index_status":"not_needed","reader_status":"not_needed","recognition_status":"not_needed","updated_at":"2026-07-01T08:21:13.917522+00:00","tier_text":"hub"},"tier":"hub","role_counts":[{"context_role":"background","n":1}],"polarity_counts":[{"context_polarity":"background","n":1}],"runs":{},"summary":{},"graph":{},"authors":[]}}