Java generics are turing complete
Uloženo v:
| Název: | Java generics are turing complete |
|---|---|
| Autoři: | Grigore, Radu |
| Zdroj: | ACM SIGPLAN Notices ; volume 52, issue 1, page 73-85 ; ISSN 0362-1340 1558-1160 |
| Informace o vydavateli: | Association for Computing Machinery (ACM) |
| Rok vydání: | 2017 |
| Popis: | This paper describes a reduction from the halting problem of Turing machines to subtype checking in Java. It follows that subtype checking in Java is undecidable, which answers a question posed by Kennedy and Pierce in 2007. It also follows that Java's type checker can recognize any recursive language, which improves a result of Gill and Levy from 2016. The latter point is illustrated by a parser generator for fluent interfaces. |
| Druh dokumentu: | article in journal/newspaper |
| Jazyk: | English |
| DOI: | 10.1145/3093333.3009871 |
| Dostupnost: | https://doi.org/10.1145/3093333.3009871 https://dl.acm.org/doi/10.1145/3093333.3009871 https://dl.acm.org/doi/pdf/10.1145/3093333.3009871 |
| Rights: | https://www.acm.org/publications/policies/copyright_policy#Background |
| Přístupové číslo: | edsbas.DDED31EC |
| Databáze: | BASE |
Nájsť tento článok vo Web of Science | Abstrakt: | This paper describes a reduction from the halting problem of Turing machines to subtype checking in Java. It follows that subtype checking in Java is undecidable, which answers a question posed by Kennedy and Pierce in 2007. It also follows that Java's type checker can recognize any recursive language, which improves a result of Gill and Levy from 2016. The latter point is illustrated by a parser generator for fluent interfaces. |
|---|---|
| DOI: | 10.1145/3093333.3009871 |