Methods for enhancing type reconstruction

   
   

Systems, methods, and structures are discussed that enhance type reconstruction for programs. Whereas previous methods insufficiently provide the set of types necessary for program analysis, the embodiments of the present invention can accept any verifiable bytecode programs and produce a set of types needed for program analysis. The embodiments of the present invention provide a technique called subtype completion that transforms a subtyping system by extending its type hierarchy to a lattice. However, such transformation inserts only a minimal amount of elements so as to enhance the computation of reconstructed types.

I sistemi, i metodi e le strutture sono discussi che aumentano il tipo ricostruzione per i programmi. Considerando che i metodi precedenti forniscono insufficientemente l'insieme dei tipi necessari per analisi di programma, i metodi di realizzazione di presente invenzione possono accettare tutti i programmi verificabili del bytecode e produrre un insieme dei tipi stati necessari per analisi di programma. I metodi di realizzazione di presente invenzione forniscono una tecnica denominata completamento di sottotipo che trasforma un sistema subtyping estendendo il relativo tipo gerarchia fino una grata. Tuttavia, tale trasformazione inserisce soltanto una quantità minima di elementi in modo da aumentare il calcolo dei tipi ricostruiti.

 
Web www.patentalert.com

< Insertion location tracking for controlling a user interface

< Statistical memory leak detection

> System and method for user interface mirroring utilizing a layout manager

> Use of attribution to describe management information

~ 00174