Handling multiple definition of types

User assemblies can be created by a compiler that can handle more than one type definition during execution. Local copies are created for respective authoritative types in a code library, and the local copies are marked with a local type identifier. An authoritative type identifier (e.g., a globally...

Full description

Saved in:
Bibliographic Details
Main Authors Aharoni, Avner Y, Ng, Samuel Y, Shneerson, Michael, Maurer, Edward T, Krishnaswamy, Raja, Halverson, Kevin, Ng, Timothy Y, Tsingauz, Aleksey V
Format Patent
LanguageEnglish
Published 12.06.2012
Online AccessGet full text

Cover

Loading…
Abstract User assemblies can be created by a compiler that can handle more than one type definition during execution. Local copies are created for respective authoritative types in a code library, and the local copies are marked with a local type identifier. An authoritative type identifier (e.g., a globally unique identifier (GUID)) is copied from the authoritative type to the local type, and functions and properties associated with the local type are also copied from the authoritative type. Authoritative types are resolved for requested types when a local assembly references a local type from a compiled user assembly. The local type can be identified by a local type identifier, and an authoritative type can be retrieved from the code library that has a same authoritative type identifier as the requested type. A local copy of the retrieved authoritative type can be copied to the local assembly under compilation. The compiler can then emit user assemblies that comprise merely local types.
AbstractList User assemblies can be created by a compiler that can handle more than one type definition during execution. Local copies are created for respective authoritative types in a code library, and the local copies are marked with a local type identifier. An authoritative type identifier (e.g., a globally unique identifier (GUID)) is copied from the authoritative type to the local type, and functions and properties associated with the local type are also copied from the authoritative type. Authoritative types are resolved for requested types when a local assembly references a local type from a compiled user assembly. The local type can be identified by a local type identifier, and an authoritative type can be retrieved from the code library that has a same authoritative type identifier as the requested type. A local copy of the retrieved authoritative type can be copied to the local assembly under compilation. The compiler can then emit user assemblies that comprise merely local types.
Author Maurer, Edward T
Ng, Samuel Y
Krishnaswamy, Raja
Tsingauz, Aleksey V
Aharoni, Avner Y
Halverson, Kevin
Ng, Timothy Y
Shneerson, Michael
Author_xml – sequence: 1
  givenname: Avner Y
  surname: Aharoni
  fullname: Aharoni, Avner Y
– sequence: 2
  givenname: Samuel Y
  surname: Ng
  fullname: Ng, Samuel Y
– sequence: 3
  givenname: Michael
  surname: Shneerson
  fullname: Shneerson, Michael
– sequence: 4
  givenname: Edward T
  surname: Maurer
  fullname: Maurer, Edward T
– sequence: 5
  givenname: Raja
  surname: Krishnaswamy
  fullname: Krishnaswamy, Raja
– sequence: 6
  givenname: Kevin
  surname: Halverson
  fullname: Halverson, Kevin
– sequence: 7
  givenname: Timothy Y
  surname: Ng
  fullname: Ng, Timothy Y
– sequence: 8
  givenname: Aleksey V
  surname: Tsingauz
  fullname: Tsingauz, Aleksey V
BookMark eNrjYmDJy89L5WRQ9UjMS8nJzEtXyC3NKcksyElVSElNy8zLLMnMz1PIT1MoqSxILeZhYE1LzClO5YXS3AwKbq4hzh66pcUFiSWpeSXF8elFiSDKwMLIwNDQ1NSYCCUADdsp6A
ContentType Patent
CorporateAuthor Microsoft Corporation
CorporateAuthor_xml – name: Microsoft Corporation
DBID EFH
DatabaseName USPTO Issued Patents
DatabaseTitleList
Database_xml – sequence: 1
  dbid: EFH
  name: USPTO Issued Patents
  url: http://www.uspto.gov/patft/index.html
  sourceTypes: Open Access Repository
DeliveryMethod fulltext_linktorsrc
ExternalDocumentID 08201155
GroupedDBID EFH
ID FETCH-uspatents_grants_082011553
IEDL.DBID EFH
IngestDate Mon Mar 06 18:57:51 EST 2023
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-uspatents_grants_082011553
OpenAccessLink https://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/8201155
ParticipantIDs uspatents_grants_08201155
PatentNumber 8201155
PublicationCentury 2000
PublicationDate 20120612
PublicationDateYYYYMMDD 2012-06-12
PublicationDate_xml – month: 06
  year: 2012
  text: 20120612
  day: 12
PublicationDecade 2010
PublicationYear 2012
References Meijer et al. (2007/0050380) 20070300
Farber et al. (7945544) 20110500
Siek et al., "Gradual Typing with Unification-based Inference", 2008, http://ece-www.colorado.edu/˜siek/dls08igtlc.pdf.
Pierce et al., "Local Type Inference", ACM Transactions on Programming Languages and Systems, vol. 22, No. 1, Jan. 2000, pp. 1-44, http://www.cis.upenn.edu/˜bcpierce/papers/Iti-toplas.pdf.
Mycroft et al., "Comparing Type-Based and Proof-Directed Decompilation", http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=4D875651561C590FE561DE03912F58F8?doi=10.1.1.57.6927&rep=rep1&type=pdf.
Battilana (7802184) 20100900
Ringseth et al. (7150010) 20061200
Colton et al. (7844958) 20101100
Medvedev (7526773) 20090400
Grimaud et al. (2005/0044542) 20050200
Ungar (6085035) 20000700
Jones et al., "Wobbly Types: Type Inference for Generalised Algebraic Data Types",Technical Report MS-CIS-05-26, Computer and Information Science Department, University of Pennsylvania, Jul. 2004, http://research.microsoft.com/˜simonpj/papers/gadt/MS-CIS-05-26.pdf.
White (5754845) 19980500
Steensgaard (7039908) 20060500
Meijer et al. (2006/0048095) 20060300
Shao et al, "A Type-Based Compiler for Standard ML", Princeton-CS-TR-487-95, Mar. 28, 1995, http://flint.cs.yale.edu/flint/publications/tcps.pdf.
References_xml – year: 20060500
  ident: 7039908
  contributor:
    fullname: Steensgaard
– year: 20070300
  ident: 2007/0050380
  contributor:
    fullname: Meijer et al.
– year: 20050200
  ident: 2005/0044542
  contributor:
    fullname: Grimaud et al.
– year: 20110500
  ident: 7945544
  contributor:
    fullname: Farber et al.
– year: 20000700
  ident: 6085035
  contributor:
    fullname: Ungar
– year: 20060300
  ident: 2006/0048095
  contributor:
    fullname: Meijer et al.
– year: 20100900
  ident: 7802184
  contributor:
    fullname: Battilana
– year: 19980500
  ident: 5754845
  contributor:
    fullname: White
– year: 20090400
  ident: 7526773
  contributor:
    fullname: Medvedev
– year: 20101100
  ident: 7844958
  contributor:
    fullname: Colton et al.
– year: 20061200
  ident: 7150010
  contributor:
    fullname: Ringseth et al.
Score 2.8471754
Snippet User assemblies can be created by a compiler that can handle more than one type definition during execution. Local copies are created for respective...
SourceID uspatents
SourceType Open Access Repository
Title Handling multiple definition of types
URI https://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/8201155
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwY2BQMTQDtouBzVZdg1SjJF3Qjca6ScbJwLRsapEEOuApNTkNvEDWz8wj1MQrwjSCicEDvhcmF5iNdAuAbinWKy0uKMkHL64EFu-QiNeFHP4MOiMwD3T6QHleTn5iSkBKmj64JjM1ZWZgtjAALe1ydfPgZuAEGgFssuWVFCNVGm6CDGwBYFEhBqbUPBEGVQ_QgQbAmkIBtohPISU1LTMPvGZKIT9NATQaWizKoODmGuLsoQs3Mz69CLRWJd4AarexGAMLsM-eKsGgYGKRlmiQBJoQTUo2AWYZS-NE0ElYiUbmRqmmFmZpkgySOI2RwiMnzcAFZBjpgi_PkWFgKSkqTZUF1oolSXJgLwMA1yNrnQ
link.rule.ids 230,309,786,808,891,64396
linkProvider USPTO
linkToPdf http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwY2BQMTQDtouBzVZdg1SjJF3Qjca6ScbJwLRsapEEOuApNTkNvEDWz8wj1MQrwjSCicEDvhcmF5iNdAuAbinWKy0uKMkHL64EFu-QiNeFHP4MOiMwD3T6QHleTn5iSkBKmj64JjM1ZWZgBdWxoLTu6ubBzcAJNATYaMsrKUaqNtwEGdgCwKJCDEypeSIMqh6gIw2AdYUCbBmfQkpqWmYeeNWUQn6aAmg8tFiUQcHNNcTZQxduZnx6EWi1SrwB1HZjMQYWYK89VYJBwcQiLdEgCTQlmpRsAsw0lsaJoLOwEo3MjVJNLczSJBkkcRojhUdOnoEjwMUt3sfTz1uagQsoZqQLvklHhoGlpKg0VRZYRZYkyYF9DwBOG26Z
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Apatent&rft.title=Handling+multiple+definition+of+types&rft.inventor=Aharoni%2C+Avner+Y&rft.inventor=Ng%2C+Samuel+Y&rft.inventor=Shneerson%2C+Michael&rft.inventor=Maurer%2C+Edward+T&rft.inventor=Krishnaswamy%2C+Raja&rft.inventor=Halverson%2C+Kevin&rft.inventor=Ng%2C+Timothy+Y&rft.inventor=Tsingauz%2C+Aleksey+V&rft.number=8201155&rft.date=2012-06-12&rft.externalDBID=n%2Fa&rft.externalDocID=08201155