Conference
View in EDS

Type-Directed Program Synthesis and Constraint Generation for Library Portability

Bibliographic Details
Title: Type-Directed Program Synthesis and Constraint Generation for Library Portability
Authors: Collie, Bruce, Ginsbach, Philip, O'Boyle, Michael F.P.
Source: 2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT) Parallel Architectures and Compilation Techniques (PACT), 2019 28th International Conference on. :55-67 Sep, 2019
Relation: 2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT)
Database: IEEE Xplore Digital Library
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://login.libproxy.scu.edu/login?url=http://dl.acm.org/doi/10.1109/PACT.2019.00013?query=%22Type-Directed%20Program%20Synthesis%20and%20Constraint%20Generation%20for%20Library%20Portability%22+AND+++55+2019
    Name: ACM Digital Library - Article Level Link
    Category: fullText
    Text: Full Text from ACM Digital Library
    MouseOverText: Full Text from ACM Digital Library
  – Url: https://login.libproxy.scu.edu/login?url=https://ieeexplore.ieee.org/document/8891611
    Name: EDS - IEEE (s8985755)
    Category: fullText
    Text: Check IEEE Xplore for full text
    MouseOverText: Check IEEE Xplore for full text. A new window will open.
  – Url: https://resolver.ebsco.com/c/xy5jbn/result?sid=EBSCO:edseee&genre=book&issn=26417936&ISBN=9781728136134&volume=&issue=&date=&spage=55&pages=55-67&title=2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT), Parallel Architectures and Compilation Techniques (PACT), 2019 28th International Conference on&atitle=Type-Directed%20Program%20Synthesis%20and%20Constraint%20Generation%20for%20Library%20Portability&aulast=Collie%2C%20Bruce&id=DOI:10.1109/PACT.2019.00013
    Name: Full Text Finder (for New FTF UI) (s8985755)
    Category: fullText
    Text: Find It @ SCU Libraries
    MouseOverText: Find It @ SCU Libraries
Header DbId: edseee
DbLabel: IEEE Xplore Digital Library
An: edseee.8891611
RelevancyScore: 1024
AccessLevel: 2
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 1023.79431152344
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Type-Directed Program Synthesis and Constraint Generation for Library Portability
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Collie%2C+Bruce%22">Collie, Bruce</searchLink><br /><searchLink fieldCode="AR" term="%22Ginsbach%2C+Philip%22">Ginsbach, Philip</searchLink><br /><searchLink fieldCode="AR" term="%22O'Boyle%2C+Michael+F%2EP%2E%22">O'Boyle, Michael F.P.</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: 2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT) Parallel Architectures and Compilation Techniques (PACT), 2019 28th International Conference on. :55-67 Sep, 2019
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: 2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT)
PLink https://login.libproxy.scu.edu/login?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edseee&AN=edseee.8891611
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/PACT.2019.00013
    PhysicalDescription:
      Pagination:
        PageCount: 13
        StartPage: 55
    Titles:
      – TitleFull: Type-Directed Program Synthesis and Constraint Generation for Library Portability
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Collie, Bruce
      – PersonEntity:
          Name:
            NameFull: Ginsbach, Philip
      – PersonEntity:
          Name:
            NameFull: O'Boyle, Michael F.P.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 09
              Type: published
              Y: 2019
          Identifiers:
            – Type: isbn-print
              Value: 9781728136134
            – Type: issn-print
              Value: 26417936
            – Type: issn-locals
              Value: edseee.IEEEConferenc
          Titles:
            – TitleFull: 2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT), Parallel Architectures and Compilation Techniques (PACT), 2019 28th International Conference on
              Type: main
ResultId 1