Zobrazit v EDS

Java generics are turing complete

Uloženo v:
Podrobná bibliografie
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
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://doi.org/10.1145/3093333.3009871#
    Name: EDS - BASE (s4221598)
    Category: fullText
    Text: View record from BASE
  – Url: https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=EBSCO&SrcAuth=EBSCO&DestApp=WOS&ServiceName=TransferToWoS&DestLinkType=GeneralSearchSummary&Func=Links&author=Grigore%20R
    Name: ISI
    Category: fullText
    Text: Nájsť tento článok vo Web of Science
    Icon: https://imagesrvr.epnet.com/ls/20docs.gif
    MouseOverText: Nájsť tento článok vo Web of Science
Header DbId: edsbas
DbLabel: BASE
An: edsbas.DDED31EC
RelevancyScore: 865
AccessLevel: 3
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 864.807434082031
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Java generics are turing complete
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Grigore%2C+Radu%22">Grigore, Radu</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: ACM SIGPLAN Notices ; volume 52, issue 1, page 73-85 ; ISSN 0362-1340 1558-1160
– Name: Publisher
  Label: Publisher Information
  Group: PubInfo
  Data: Association for Computing Machinery (ACM)
– Name: DatePubCY
  Label: Publication Year
  Group: Date
  Data: 2017
– Name: Abstract
  Label: Description
  Group: Ab
  Data: 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.
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: article in journal/newspaper
– Name: Language
  Label: Language
  Group: Lang
  Data: English
– Name: DOI
  Label: DOI
  Group: ID
  Data: 10.1145/3093333.3009871
– Name: URL
  Label: Availability
  Group: URL
  Data: https://doi.org/10.1145/3093333.3009871<br />https://dl.acm.org/doi/10.1145/3093333.3009871<br />https://dl.acm.org/doi/pdf/10.1145/3093333.3009871
– Name: Copyright
  Label: Rights
  Group: Cpyrght
  Data: https://www.acm.org/publications/policies/copyright_policy#Background
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsbas.DDED31EC
PLink https://erproxy.cvtisr.sk/sfx/access?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.DDED31EC
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1145/3093333.3009871
    Languages:
      – Text: English
    Titles:
      – TitleFull: Java generics are turing complete
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Grigore, Radu
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2017
          Identifiers:
            – Type: issn-locals
              Value: edsbas
            – Type: issn-locals
              Value: edsbas.oa
          Titles:
            – TitleFull: ACM SIGPLAN Notices ; volume 52, issue 1, page 73-85 ; ISSN 0362-1340 1558-1160
              Type: main
ResultId 1