{"doi":"10.1007/s10703-005-3402-z","title":"Translation and Run-Time Validation of Loop Transformations","abstract":null,"journal":"Formal Methods in System Design","year":2005,"id":26982,"datarank":2.839130532454071,"base_score":3.970291913552122,"endowment":3.970291913552122,"self_citation_contribution":0.5955437870328184,"citation_network_contribution":2.243586745421253,"self_endowment_contribution":0.5955437870328184,"citer_contribution":2.243586745421253,"corpus_percentile":null,"corpus_rank":null,"citation_count":52,"citer_count":39,"citers_with_citation_signal":34,"citers_with_endowment":34,"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":154853,"name":"Amir Pnueli","orcid":null,"position":1,"is_corresponding":false},{"id":154854,"name":"Benjamin Goldberg","orcid":null,"position":2,"is_corresponding":false},{"id":154855,"name":"Clark Barrett","orcid":null,"position":3,"is_corresponding":false},{"id":154856,"name":"Yi Fang","orcid":"0009-0002-2366-6078","position":4,"is_corresponding":false},{"id":154857,"name":"Ying Hu","orcid":null,"position":5,"is_corresponding":false},{"id":154852,"name":"Lenore Zuck","orcid":null,"position":0,"is_corresponding":false}],"reference_count":0,"raw_metadata":{"has_enrichment":true,"base_score":3.970291913552122,"endowment":3.970291913552122,"datacite_reuse_total":0,"file_count":0,"downloads":0,"views":0,"has_version_chain":false,"is_dataset":false,"is_oa":false,"pmid":"18998881","pmcid":null,"openalex_id":"https://openalex.org/W2050948770","authors":[],"funders":[{"funder_name":"National Science Foundation","grant_id":"0098299","title":"Translation Validation of Advanced Compiler Optimizations"}],"total_grants":1,"fwci":4.1147,"citation_percentile":0.93837121,"influential_citations":3,"citation_trend":[{"year":2012,"count":2},{"year":2013,"count":7},{"year":2014,"count":3},{"year":2015,"count":4},{"year":2016,"count":2},{"year":2017,"count":1},{"year":2018,"count":2},{"year":2019,"count":1},{"year":2020,"count":1},{"year":2021,"count":3},{"year":2022,"count":1},{"year":2023,"count":2},{"year":2025,"count":1}],"oa_status":"closed","license":"Springer TDM","oa_locations":[{"url":"http://link.springer.com/content/pdf/10.1007/s10703-005-3402-z.pdf","host_type":"publisher"},{"url":"http://link.springer.com/article/10.1007/s10703-005-3402-z/fulltext.html","host_type":"publisher"},{"url":"http://link.springer.com/content/pdf/10.1007/s10703-005-3402-z","host_type":"publisher"},{"url":"https://doi.org/10.1007/s10703-005-3402-z","host_type":"journal"},{"url":"https://zbmath.org/5000186","host_type":""},{"url":"https://dx.doi.org/10.1007/s10703-005-3402-z","host_type":""}],"fields_of_study":["Logic, programming, and type systems","Formal Methods in Verification","Parallel Computing and Optimization Techniques","Computer Science","0202 electrical engineering, electronic engineering, information engineering","0102 computer and information sciences","02 engineering and technology","01 natural sciences"],"mesh_terms":[],"keywords":["Computer science","Compiler","Loop optimization","Correctness","Loop fusion","Loop fission","Loop tiling","Loop (graph theory)","Code generation","Optimizing compiler","Loop unrolling","Parallel computing","For loop","Code (set theory)","Dead code elimination","Programming language","Program optimization","Transformation (genetics)","Set (abstract data type)","Object code","Operating system","Key (lock)","translation validation","verification conditions","speculative optimizations","optimizing compilers","loop transformations","global optimizations","Theory of compilers and interpreters","reordering transformations","run-time validation"],"sdg_mappings":[],"linked_datasets":[],"clinical_trials":[],"software_tools":[],"database_accessions":[],"source":"live","citation_network_status":"fetched"},"created_at":"2026-06-08T16:14:17.396498Z","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":[]}