Zobrazit v EDS

Type Elaboration and Subtype Completion for Java

Uloženo v:
Podrobná bibliografie
Název: Type Elaboration and Subtype Completion for Java
Autoři: Todd B. Knoblock, Jakob Rehof
Přispěvatelé: The Pennsylvania State University CiteSeerX Archives
Zdroj: http://ls14-www.cs.uni-dortmund.de/ls14Medien/Dokumente/Pubs/TypeElaboration.pdf.
Sbírka: CiteSeerX
Témata: F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Type Structure General Terms, Languages, Theory Additional Key Words and Phrases, java compiler, lattice completion, object-oriented type systems, type-directed compilation
Popis: Java source code is strongly typed, but the translation from Java source to bytecode omits much of the type information originally contained within methods. Type elaboration is a technique for reconstructing strongly typed programs from incompletely typed bytecode by inferring types for local variables. There are situations where, technically, there are not enough types in the original type hierarchy to type a bytecode program. Subtype completion is a technique for adding necessary types to an arbitrary type hierarchy to make type elaboration possible for all verifiable Java bytecode. Type elaboration with subtype completion has been implemented as part of the Marmot Java compiler.
Druh dokumentu: text
Popis souboru: application/pdf
Jazyk: English
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.7078
Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.7078
http://ls14-www.cs.uni-dortmund.de/ls14Medien/Dokumente/Pubs/TypeElaboration.pdf
Rights: Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Přístupové číslo: edsbas.47B9C975
Databáze: BASE
FullText Text:
  Availability: 0
CustomLinks:
  – Url: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.7078#
    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=Knoblock%20TB
    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.47B9C975
RelevancyScore: 750
AccessLevel: 3
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 750
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Type Elaboration and Subtype Completion for Java
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Todd+B%2E+Knoblock%22">Todd B. Knoblock</searchLink><br /><searchLink fieldCode="AR" term="%22Jakob+Rehof%22">Jakob Rehof</searchLink>
– Name: Author
  Label: Contributors
  Group: Au
  Data: The Pennsylvania State University CiteSeerX Archives
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <i>http://ls14-www.cs.uni-dortmund.de/ls14Medien/Dokumente/Pubs/TypeElaboration.pdf</i>.
– Name: Subset
  Label: Collection
  Group: HoldingsInfo
  Data: CiteSeerX
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22F%2E3%2E3+[Logics+and+Meanings+of+Programs%22">F.3.3 [Logics and Meanings of Programs</searchLink><br /><searchLink fieldCode="DE" term="%22Studies+of+Program+Constructs—Type+Structure+General+Terms%22">Studies of Program Constructs—Type Structure General Terms</searchLink><br /><searchLink fieldCode="DE" term="%22Languages%22">Languages</searchLink><br /><searchLink fieldCode="DE" term="%22Theory+Additional+Key+Words+and+Phrases%22">Theory Additional Key Words and Phrases</searchLink><br /><searchLink fieldCode="DE" term="%22java+compiler%22">java compiler</searchLink><br /><searchLink fieldCode="DE" term="%22lattice+completion%22">lattice completion</searchLink><br /><searchLink fieldCode="DE" term="%22object-oriented+type+systems%22">object-oriented type systems</searchLink><br /><searchLink fieldCode="DE" term="%22type-directed+compilation%22">type-directed compilation</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Java source code is strongly typed, but the translation from Java source to bytecode omits much of the type information originally contained within methods. Type elaboration is a technique for reconstructing strongly typed programs from incompletely typed bytecode by inferring types for local variables. There are situations where, technically, there are not enough types in the original type hierarchy to type a bytecode program. Subtype completion is a technique for adding necessary types to an arbitrary type hierarchy to make type elaboration possible for all verifiable Java bytecode. Type elaboration with subtype completion has been implemented as part of the Marmot Java compiler.
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: text
– Name: Format
  Label: File Description
  Group: SrcInfo
  Data: application/pdf
– Name: Language
  Label: Language
  Group: Lang
  Data: English
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.7078
– Name: URL
  Label: Availability
  Group: URL
  Data: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.7078<br />http://ls14-www.cs.uni-dortmund.de/ls14Medien/Dokumente/Pubs/TypeElaboration.pdf
– Name: Copyright
  Label: Rights
  Group: Cpyrght
  Data: Metadata may be used without restrictions as long as the oai identifier remains attached to it.
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsbas.47B9C975
PLink https://erproxy.cvtisr.sk/sfx/access?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.47B9C975
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Text: English
    Subjects:
      – SubjectFull: F.3.3 [Logics and Meanings of Programs
        Type: general
      – SubjectFull: Studies of Program Constructs—Type Structure General Terms
        Type: general
      – SubjectFull: Languages
        Type: general
      – SubjectFull: Theory Additional Key Words and Phrases
        Type: general
      – SubjectFull: java compiler
        Type: general
      – SubjectFull: lattice completion
        Type: general
      – SubjectFull: object-oriented type systems
        Type: general
      – SubjectFull: type-directed compilation
        Type: general
    Titles:
      – TitleFull: Type Elaboration and Subtype Completion for Java
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Todd B. Knoblock
      – PersonEntity:
          Name:
            NameFull: Jakob Rehof
      – PersonEntity:
          Name:
            NameFull: The Pennsylvania State University CiteSeerX Archives
    IsPartOfRelationships:
      – BibEntity:
          Identifiers:
            – Type: issn-locals
              Value: edsbas
            – Type: issn-locals
              Value: edsbas.oa
          Titles:
            – TitleFull: http://ls14-www.cs.uni-dortmund.de/ls14Medien/Dokumente/Pubs/TypeElaboration.pdf
              Type: main
ResultId 1