{"id":"https://openalex.org/W2114684136","doi":"https://doi.org/10.1016/j.entcs.2007.02.060","title":"An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode","display_name":"An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode","publication_year":2007,"publication_date":"2007-07-01","ids":{"openalex":"https://openalex.org/W2114684136","doi":"https://doi.org/10.1016/j.entcs.2007.02.060","mag":"2114684136"},"language":"en","primary_location":{"id":"doi:10.1016/j.entcs.2007.02.060","doi":"https://doi.org/10.1016/j.entcs.2007.02.060","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2007.02.060","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1571066107005282/pdf","source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1","poland-40","russia-white-list-3"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.sciencedirect.com/science/article/pii/S1571066107005282/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Mario M\u00e9ndez","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I169521973","display_name":"University of New Mexico","ror":"https://ror.org/05fs6jp91","country_code":"US","type":"education","lineage":["https://openalex.org/I169521973"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mario M\u00e9ndez","raw_affiliation_strings":["Department of Computer Science, University of New Mexico, Albuquerque, NM, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of New Mexico, Albuquerque, NM, USA","institution_ids":["https://openalex.org/I169521973"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026684100","display_name":"Jorge A. Navas","orcid":"https://orcid.org/0000-0002-0516-1167","observed_orcids":["https://orcid.org/0000-0002-0516-1167"]},"institutions":[{"id":"https://openalex.org/I169521973","display_name":"University of New Mexico","ror":"https://ror.org/05fs6jp91","country_code":"US","type":"education","lineage":["https://openalex.org/I169521973"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jorge Navas","raw_affiliation_strings":["Department of Computer Science, University of New Mexico, Albuquerque, NM, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of New Mexico, Albuquerque, NM, USA","institution_ids":["https://openalex.org/I169521973"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073531919","display_name":"Manuel V. Hermenegildo","orcid":"https://orcid.org/0000-0002-7583-323X","observed_orcids":["https://orcid.org/0000-0002-7583-323X"]},"institutions":[{"id":"https://openalex.org/I169521973","display_name":"University of New Mexico","ror":"https://ror.org/05fs6jp91","country_code":"US","type":"education","lineage":["https://openalex.org/I169521973"]},{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES","US"],"is_corresponding":true,"raw_author_name":"Manuel V. Hermenegildo","raw_affiliation_strings":["Departments of Computer Science, University of New Mexico, Albuquerque, NM (USA), and Technical University of Madrid, Madrid (Spain)","Departments of Computer Science, University of New Mexico, Albuquerque, NM (USA), and Technical University of Madrid, Madrid (Spain)#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departments of Computer Science, University of New Mexico, Albuquerque, NM (USA), and Technical University of Madrid, Madrid (Spain)","institution_ids":["https://openalex.org/I169521973","https://openalex.org/I88060688"]},{"raw_affiliation_string":"Departments of Computer Science, University of New Mexico, Albuquerque, NM (USA), and Technical University of Madrid, Madrid (Spain)#TAB#","institution_ids":["https://openalex.org/I169521973","https://openalex.org/I88060688"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5026684100","https://openalex.org/A5073531919"],"corresponding_institution_ids":["https://openalex.org/I169521973","https://openalex.org/I88060688"],"apc_list":null,"apc_paid":null,"fwci":9.0021,"has_fulltext":true,"cited_by_count":24,"citation_normalized_percentile":{"value":0.97234845,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":"190","issue":"1","first_page":"51","last_page":"66"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"abstract interpretation","score":0.8769999742507935},{"id":"https://openalex.org/keywords/fixpoint-algorithms","display_name":"fixpoint algorithms","score":0.9169999957084656},{"id":"https://openalex.org/keywords/java-bytecode","display_name":"Java bytecode","score":0.7799999713897705},{"id":"https://openalex.org/keywords/abstract-domains","display_name":"abstract domains","score":0.7570000290870667},{"id":"https://openalex.org/keywords/interprocedural-analysis","display_name":"interprocedural analysis","score":0.8560000061988831},{"id":"https://openalex.org/keywords/call-graph","display_name":"call graph","score":0.5699999928474426},{"id":"https://openalex.org/keywords/flow-sensitive-analysis","display_name":"flow-sensitive analysis","score":0.7749999761581421},{"id":"https://openalex.org/keywords/program-transformation","display_name":"program transformation","score":0.9570000171661377},{"id":"https://openalex.org/keywords/decompilation","display_name":"decompilation","score":0.8830000162124634},{"id":"https://openalex.org/keywords/program-analysis-performance","display_name":"program analysis performance","score":0.503000020980835}],"concepts":[{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.9027916789054871},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8068014979362488},{"id":"https://openalex.org/C2779818221","wikidata":"https://www.wikidata.org/wiki/Q837330","display_name":"Bytecode","level":3,"score":0.7763067483901978},{"id":"https://openalex.org/C2777472213","wikidata":"https://www.wikidata.org/wiki/Q137496","display_name":"Java bytecode","level":5,"score":0.6771517395973206},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6451104879379272},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.574857234954834},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5666562914848328},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.4921197295188904},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4788634479045868},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4657018780708313},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.46429643034935},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.4385712742805481},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4016774892807007},{"id":"https://openalex.org/C15524039","wikidata":"https://www.wikidata.org/wiki/Q865817","display_name":"Java applet","level":3,"score":0.1995103359222412},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.17029699683189392},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15598177909851074},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1016/j.entcs.2007.02.060","doi":"https://doi.org/10.1016/j.entcs.2007.02.060","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2007.02.060","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1571066107005282/pdf","source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1","poland-40","russia-white-list-3"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.75.9404","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.9404","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://clip.dia.fi.upm.es/papers/java-bytecode-fixpoint-tr.pdf","raw_type":"text"},{"id":"pmh:oai:oa.upm.es:14606","doi":null,"is_oa":true,"landing_page_url":"http://oa.upm.es/14606/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196323","display_name":"UPM Digital Archive (Technical University of Madrid)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I88060688","host_organization_name":"Universidad Polit\u00e9cnica de Madrid","host_organization_lineage":["https://openalex.org/I88060688"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007) | Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007) | 31 March 2007 | Braga, Portugal","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1016/j.entcs.2007.02.060","doi":"https://doi.org/10.1016/j.entcs.2007.02.060","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2007.02.060","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1571066107005282/pdf","source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1","poland-40","russia-white-list-3"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G7290585946","display_name":null,"funder_award_id":"TIN-2005-09207","funder_id":"https://openalex.org/F4320321764","funder_display_name":"Ministerio de Educaci\u00f3n, Cultura y Deporte"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321764","display_name":"Ministerio de Educaci\u00f3n, Cultura y Deporte","ror":"https://ror.org/03nc27g21"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2114684136.pdf","grobid_xml":"https://content.openalex.org/works/W2114684136.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W95576201","https://openalex.org/W133088718","https://openalex.org/W266212533","https://openalex.org/W1514258760","https://openalex.org/W1516518073","https://openalex.org/W1517401699","https://openalex.org/W1521580745","https://openalex.org/W1528738961","https://openalex.org/W1533556407","https://openalex.org/W1544300973","https://openalex.org/W1548432452","https://openalex.org/W1550050390","https://openalex.org/W1557880268","https://openalex.org/W1572167572","https://openalex.org/W1574640530","https://openalex.org/W1587113895","https://openalex.org/W1631760579","https://openalex.org/W1776599990","https://openalex.org/W1787265089","https://openalex.org/W1965377774","https://openalex.org/W1969610731","https://openalex.org/W1975813326","https://openalex.org/W1987962669","https://openalex.org/W2036719919","https://openalex.org/W2043100293","https://openalex.org/W2051600169","https://openalex.org/W2075309900","https://openalex.org/W2094160561","https://openalex.org/W2126957398","https://openalex.org/W2140144076","https://openalex.org/W2156897720","https://openalex.org/W2163660741","https://openalex.org/W2171240827","https://openalex.org/W2339697242","https://openalex.org/W2612827638","https://openalex.org/W2675876715","https://openalex.org/W2999873459","https://openalex.org/W3003304722","https://openalex.org/W3007960993","https://openalex.org/W3182073460","https://openalex.org/W4238080077","https://openalex.org/W4285719527","https://openalex.org/W4301419588"],"related_works":["https://openalex.org/W7099997013","https://openalex.org/W98495262","https://openalex.org/W7046787271","https://openalex.org/W2184175540","https://openalex.org/W141010283","https://openalex.org/W2591667836","https://openalex.org/W7098191781","https://openalex.org/W2612827638","https://openalex.org/W1631760579","https://openalex.org/W2029621932"],"abstract_inverted_index":{"Abstract":[0],"interpretation":[1,57],"has":[2],"been":[3],"widely":[4],"used":[5,141],"for":[6,66,107],"the":[7,26,36,43,83,94,122,131,138,164,175,178,207],"analysis":[8,95,108,208],"of":[9,28,38,85,96,109,116,124,137,173,186,206],"object-oriented":[10],"languages":[11],"and,":[12],"in":[13,118,168,177],"particular,":[14],"Java":[15,110],"source":[16],"and":[17,74,142,153,180,191],"bytecode.":[18],"However,":[19],"while":[20],"most":[21],"existing":[22,55],"work":[23],"deals":[24],"with":[25,193],"problem":[27],"finding":[29],"expressive":[30],"abstract":[31,139],"domains":[32,149],"that":[33,82,133,166],"track":[34],"accurately":[35],"characteristics":[37],"a":[39,104,114,159,169,203],"particular":[40,77],"concrete":[41],"property,":[42],"underlying":[44],"fixpoint":[45,59,88],"algorithms":[46,60],"have":[47],"received":[48],"comparatively":[49],"less":[50],"attention.":[51],"In":[52,99],"fact,":[53],"many":[54],"(abstract":[56],"based\u2013)":[58],"rely":[61],"on":[62,158],"relatively":[63],"inefficient":[64],"techniques":[65],"solving":[67],"inter-procedural":[68],"call":[69],"graphs":[70],"or":[71],"are":[72,189],"specific":[73],"tied":[75],"to":[76,92,120,147,163],"analyses.":[78],"We":[79,196],"also":[80,197],"argue":[81],"design":[84],"an":[86,194],"efficient":[87],"algorithm":[89,106,127],"is":[90,128,135,156],"pivotal":[91],"supporting":[93],"large":[97],"programs.":[98],"this":[100],"paper":[101],"we":[102],"introduce":[103],"novel":[105],"bytecode":[111],"which":[112],"includes":[113],"number":[115,123],"optimizations":[117],"order":[119],"reduce":[121],"iterations.":[125],"The":[126],"parametric":[129],"-in":[130],"sense":[132],"it":[134,143],"independent":[136],"domain":[140],"can":[144],"be":[145],"applied":[146],"different":[148],"as":[150],"\u201cplug-ins\u201d-,":[151],"multivariant,":[152],"flow-sensitive.":[154],"Also,":[155],"based":[157],"program":[160],"transformation,":[161],"prior":[162],"analysis,":[165],"results":[167],"highly":[170],"uniform":[171],"representation":[172],"all":[174],"features":[176],"language":[179],"therefore":[181],"simplifies":[182],"analysis.":[183],"Detailed":[184],"descriptions":[185],"decompilation":[187],"solutions":[188],"given":[190],"discussed":[192],"example.":[195],"provide":[198],"some":[199],"performance":[200],"data":[201],"from":[202],"preliminary":[204],"implementation":[205]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}