Academic Journal
Προβολή σε EDS

Standard Fixpoint Iteration for Java Bytecode Verification.

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Standard Fixpoint Iteration for Java Bytecode Verification.
Συγγραφείς: Qian, Zhenyu
Πηγή: ACM Transactions on Programming Languages & Systems. Jul2000, Vol. 22 Issue 4, p638. 34p. 13 Charts.
Θεματικοί όροι: *Chaos theory, Java programming language software
Περίληψη: Focuses on a study which presented a chaotic fixpoint iteration which represents a family of fixpoint computation strategies to compute a least type for each Java Virtual Machine (JVM) program. Background on chaotic iteration and fixpoint theorems; Discussion of JVM program; Explanation on the chaotic fixpoint iteration.
Βάση Δεδομένων: Business Source Index
FullText Links:
  – Type: other
Text:
  Availability: 0
Header DbId: bsx
DbLabel: Business Source Index
An: 4239000
RelevancyScore: 1169
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 1169.251953125
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Standard Fixpoint Iteration for Java Bytecode Verification.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Qian%2C+Zhenyu%22">Qian, Zhenyu</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22ACM+Transactions+on+Programming+Languages+%26+Systems%22">ACM Transactions on Programming Languages & Systems</searchLink>. Jul2000, Vol. 22 Issue 4, p638. 34p. 13 Charts.
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: *<searchLink fieldCode="DE" term="%22Chaos+theory%22">Chaos theory</searchLink><br /><searchLink fieldCode="DE" term="%22Java+programming+language+software%22">Java programming language software</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Focuses on a study which presented a chaotic fixpoint iteration which represents a family of fixpoint computation strategies to compute a least type for each Java Virtual Machine (JVM) program. Background on chaotic iteration and fixpoint theorems; Discussion of JVM program; Explanation on the chaotic fixpoint iteration.
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=bsx&AN=4239000
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1145/363911.363915
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 34
        StartPage: 638
    Subjects:
      – SubjectFull: Chaos theory
        Type: general
      – SubjectFull: Java programming language software
        Type: general
    Titles:
      – TitleFull: Standard Fixpoint Iteration for Java Bytecode Verification.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Qian, Zhenyu
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 07
              Text: Jul2000
              Type: published
              Y: 2000
          Identifiers:
            – Type: issn-print
              Value: 01640925
          Numbering:
            – Type: volume
              Value: 22
            – Type: issue
              Value: 4
          Titles:
            – TitleFull: ACM Transactions on Programming Languages & Systems
              Type: main
ResultId 1