{"doi":"10.1007/978-3-662-53413-7_6","title":"Bounded Abstract Interpretation","abstract":null,"journal":"Lecture Notes in Computer Science","year":2016,"id":23154,"datarank":0.4572797813356304,"base_score":2.0794415416798357,"endowment":2.0794415416798357,"self_citation_contribution":0.31191623125197543,"citation_network_contribution":0.14536355008365498,"self_endowment_contribution":0.31191623125197543,"citer_contribution":0.14536355008365498,"corpus_percentile":null,"corpus_rank":null,"citation_count":7,"citer_count":3,"citers_with_citation_signal":3,"citers_with_endowment":3,"datacite_reuse_total":0,"is_dataset":false,"is_dataset_confidence":null,"is_data_producer":false,"deposit_databanks":null,"is_oa":false,"file_count":0,"downloads":0,"has_version_chain":false,"published_date":null,"fair_score":null,"fair_percentile":null,"algorithm_id":"datarank_citation_only_1hop_v6","ranking_scope":"data_only","authors":[{"id":143178,"name":"Valentin Wüstholz","orcid":null,"position":1,"is_corresponding":false},{"id":143177,"name":"Maria Christakis","orcid":null,"position":0,"is_corresponding":false}],"reference_count":0,"raw_metadata":{"has_enrichment":true,"base_score":2.0794415416798357,"endowment":2.0794415416798357,"datacite_reuse_total":0,"file_count":0,"downloads":0,"views":0,"has_version_chain":false,"is_dataset":false,"is_oa":false,"pmid":"24259432","pmcid":null,"openalex_id":"https://openalex.org/W2465429106","authors":[],"funders":[],"total_grants":0,"fwci":2.6322,"citation_percentile":0.89797262,"influential_citations":1,"citation_trend":[{"year":2017,"count":3},{"year":2018,"count":1},{"year":2019,"count":1},{"year":2020,"count":2}],"oa_status":"closed","license":"http://www.springer.com/tdm","oa_locations":[{"url":"http://link.springer.com/content/pdf/10.1007/978-3-662-53413-7_6","host_type":"publisher"},{"url":"https://doi.org/10.1007/978-3-662-53413-7_6","host_type":"book series"},{"url":"https://doi.org/10.1007/978-3-662-53413-7_6>)","host_type":"repository"}],"fields_of_study":["Software Engineering Research","Software Testing and Debugging Techniques","Software Reliability and Analysis Research","Computer Science"],"mesh_terms":[],"keywords":["Computer science","Static analysis","Abstract interpretation","Workflow","Bounded function","Interpreter","Programming language","Static program analysis","Interpretation (philosophy)","Software","Spectrum analyzer","Code (set theory)","Software engineering","Source code","Distributed computing","Theoretical computer science","Database","Software development"],"sdg_mappings":[{"sdg_number":0,"sdg_label":"Industry, innovation and infrastructure"}],"linked_datasets":[],"clinical_trials":[],"software_tools":[],"database_accessions":[],"source":"live","citation_network_status":"fetched"},"created_at":"2026-06-07T18:20:14.718925Z","pmid":null,"pmcid":null,"fwci":null,"citation_percentile":null,"influential_citations":0,"oa_status":null,"license":null,"views":0,"total_file_size_bytes":0,"version_count":0,"fair_f":null,"fair_a":null,"fair_i":null,"fair_r":null,"fair_zscore":null,"fair_rationale":null,"fair_model":null,"fair_agent_version":null,"fair_fulltext_source":null,"fair_has_llm":null,"fair_computed_at":null,"clinical_trials":[],"software_tools":[],"db_accessions":[],"linked_datasets":[],"topics":[]}