Recherche dans les collections de brevets nationales et internationales

1. (WO2018089280) CONSTRUCTEUR DE TYPE MUTABLE

Pub. No.:    WO/2018/089280    International Application No.:    PCT/US2017/060077
Publication Date: Fri May 18 01:59:59 CEST 2018 International Filing Date: Tue Nov 07 00:59:59 CET 2017
IPC: G06F 12/02
G06F 9/44
Applicants: MICROSOFT TECHNOLOGY LICENSING, LLC
Inventors: DUFFY, John J.
CWALINA, Krzysztof J.
ELLIS, Matthew G.
Title: CONSTRUCTEUR DE TYPE MUTABLE
Abstract:
L'invention concerne un procédé mis en oeuvre par un dispositif informatique pour construire un type mutable. Une structure de données est générée dans une section contiguë de mémoire. La structure de données comprend une partie d'élément et une partie de suraffectation. La partie d'élément stocke des éléments accessibles avec un index. Un objet d'espace est inséré dans la partie de suraffectation. L'objet d'espace est soumis à une récupération d'espace.