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...
Saved in:
Main Authors | , , , , , , , |
---|---|
Format | Patent |
Language | English |
Published |
12.06.2012
|
Online Access | Get 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 |