Conference
Προβολή σε EDS

State space reduction in abstract interpretation of parallel programs

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: State space reduction in abstract interpretation of parallel programs
Συγγραφείς: Jyh-Herng Chow, Harrison, W.L., III
Πηγή: Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94) Computer Languages, 1994., Proceedings of the 1994 International Conference on. :277-288 1994
Relation: Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94)
Βάση Δεδομένων: IEEE Xplore Digital Library
FullText Text:
  Availability: 0
Header DbId: edseee
DbLabel: IEEE Xplore Digital Library
An: edseee.288373
RelevancyScore: 938
AccessLevel: 2
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 938.469543457031
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: State space reduction in abstract interpretation of parallel programs
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Jyh-Herng+Chow%22">Jyh-Herng Chow</searchLink><br /><searchLink fieldCode="AR" term="%22Harrison%2C+W%2EL%2E%2C+III%22">Harrison, W.L., III</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94) Computer Languages, 1994., Proceedings of the 1994 International Conference on. :277-288 1994
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edseee&AN=edseee.288373
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/ICCL.1994.288373
    PhysicalDescription:
      Pagination:
        PageCount: 12
        StartPage: 277
    Titles:
      – TitleFull: State space reduction in abstract interpretation of parallel programs
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Jyh-Herng Chow
      – PersonEntity:
          Name:
            NameFull: Harrison, W.L., III
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 1994
          Identifiers:
            – Type: issn-locals
              Value: edseee.IEEEConferenc
          Titles:
            – TitleFull: Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94), Computer Languages, 1994., Proceedings of the 1994 International Conference on
              Type: main
ResultId 1