{"id":"https://openalex.org/W2427840161","doi":"https://doi.org/10.1145/3009837.3009871","title":"Java generics are turing complete","display_name":"Java generics are turing complete","publication_year":2016,"publication_date":"2016-12-22","ids":{"openalex":"https://openalex.org/W2427840161","doi":"https://doi.org/10.1145/3009837.3009871","mag":"2427840161"},"language":"en","primary_location":{"id":"doi:10.1145/3009837.3009871","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3009837.3009871","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049957994","display_name":"Radu Grigore","orcid":"https://orcid.org/0000-0003-1128-0311"},"institutions":[{"id":"https://openalex.org/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Radu Grigore","raw_affiliation_strings":["University of Kent, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Kent, UK","institution_ids":["https://openalex.org/I20581793"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5049957994"],"corresponding_institution_ids":["https://openalex.org/I20581793"],"apc_list":null,"apc_paid":null,"fwci":3.2992,"has_fulltext":false,"cited_by_count":39,"citation_normalized_percentile":{"value":0.94347574,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"73","last_page":"85"},"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.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/computer-science","display_name":"Computer science","score":0.8281960487365723},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7909567356109619},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6804744005203247},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.6778937578201294},{"id":"https://openalex.org/keywords/halting-problem","display_name":"Halting problem","score":0.6552914381027222},{"id":"https://openalex.org/keywords/generics-in-java","display_name":"Generics in Java","score":0.5270531177520752},{"id":"https://openalex.org/keywords/java-applet","display_name":"Java applet","score":0.4516996741294861},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.44402816891670227},{"id":"https://openalex.org/keywords/java-concurrency","display_name":"Java concurrency","score":0.4388960599899292},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3041401505470276},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.06765514612197876}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8281960487365723},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7909567356109619},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6804744005203247},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.6778937578201294},{"id":"https://openalex.org/C137343475","wikidata":"https://www.wikidata.org/wiki/Q622849","display_name":"Halting problem","level":4,"score":0.6552914381027222},{"id":"https://openalex.org/C172482141","wikidata":"https://www.wikidata.org/wiki/Q379273","display_name":"Generics in Java","level":5,"score":0.5270531177520752},{"id":"https://openalex.org/C15524039","wikidata":"https://www.wikidata.org/wiki/Q865817","display_name":"Java applet","level":3,"score":0.4516996741294861},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.44402816891670227},{"id":"https://openalex.org/C181907185","wikidata":"https://www.wikidata.org/wiki/Q1100098","display_name":"Java concurrency","level":4,"score":0.4388960599899292},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3041401505470276},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.06765514612197876},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3009837.3009871","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3009837.3009871","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},{"id":"pmh:oai:kar.kent.ac.uk:58183","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3009837.3009871>)","pdf_url":null,"source":{"id":"https://openalex.org/S4377196264","display_name":"Kent Academic Repository (University of Kent)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20581793","host_organization_name":"University of Kent","host_organization_lineage":["https://openalex.org/I20581793"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Conference proceeding"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.800000011920929}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1527327679","https://openalex.org/W1581498582","https://openalex.org/W1644882639","https://openalex.org/W1978680769","https://openalex.org/W1993209012","https://openalex.org/W2002089154","https://openalex.org/W2005130481","https://openalex.org/W2006252547","https://openalex.org/W2009179353","https://openalex.org/W2021217869","https://openalex.org/W2023035194","https://openalex.org/W2064490449","https://openalex.org/W2073787041","https://openalex.org/W2126160338","https://openalex.org/W2135739536","https://openalex.org/W2152240553","https://openalex.org/W2184914104","https://openalex.org/W2319437287","https://openalex.org/W2533631495","https://openalex.org/W2539064697","https://openalex.org/W2792739471","https://openalex.org/W4244046502","https://openalex.org/W4252948584","https://openalex.org/W4285719527","https://openalex.org/W6603606255","https://openalex.org/W6631667398","https://openalex.org/W6636988782","https://openalex.org/W6668998690","https://openalex.org/W6729367304"],"related_works":["https://openalex.org/W2547095320","https://openalex.org/W2186199411","https://openalex.org/W2384200338","https://openalex.org/W370370040","https://openalex.org/W1487686959","https://openalex.org/W2948473269","https://openalex.org/W1571597375","https://openalex.org/W3021714562","https://openalex.org/W632669499","https://openalex.org/W2066931381"],"abstract_inverted_index":{"This":[0],"paper":[1],"describes":[2],"a":[3,28,51,65],"reduction":[4],"from":[5,57],"the":[6],"halting":[7],"problem":[8],"of":[9,53],"Turing":[10],"machines":[11],"to":[12],"subtype":[13,20],"checking":[14,21],"in":[15,22,35],"Java.":[16],"It":[17,37],"follows":[18,39],"that":[19,40],"Java":[23],"is":[24,62],"undecidable,":[25],"which":[26,49],"answers":[27],"question":[29],"posed":[30],"by":[31,64],"Kennedy":[32],"and":[33,55],"Pierce":[34],"2007.":[36],"also":[38],"Java's":[41],"type":[42],"checker":[43],"can":[44],"recognize":[45],"any":[46],"recursive":[47],"language,":[48],"improves":[50],"result":[52],"Gill":[54],"Levy":[56],"2016.":[58],"The":[59],"latter":[60],"point":[61],"illustrated":[63],"parser":[66],"generator":[67],"for":[68],"fluent":[69],"interfaces.":[70]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}