Type system for representing and checking consistency of heterogeneous program components during the process of compilation

   
   

A representation of types, type-checker, method and compiler are provided for checking consistency in various forms of an intermediate language. Specifically, the typed intermediate language is suitable for use in representing programs written in multiple (heterogeneous) source languages including typed and untyped languages, loosely and strongly typed languages, and languages with and without garbage collection. An unknown type representation indicates that an element of the intermediate language is associated with an unknown type. A method of type-checking a code segment written in a programming language is provided using a rule set that contains rules for type-checking an unknown type. The unknown type allows for selectively retaining type information as the compilation process continues and allows multiple programming languages to be type-checked by the same type system.

Una rappresentazione dei tipi, l'tipo-ispettore, il metodo ed il compilatore sono forniti per il controllo della consistenza in varie forme di una lingua intermedia. Specificamente, la lingua intermedia scritta è adatta ad uso nel rappresentare i programmi scritti nelle lingue di partenza (eterogenee) multiple compreso le lingue scritte e non archiviate, le lingue senza bloccare e fortemente scritte e le lingue con e senza l'accumulazione dell'immondizia. Un tipo sconosciuto rappresentazione indica che un elemento della lingua intermedia è associato con un tipo sconosciuto. Un metodo di tipo-controllo del segmento di codice scritto in un linguaggio di programmazione è fornito usando una regola regolata che contiene le regole per il tipo-controllo del tipo sconosciuto. Il tipo sconosciuto tiene conto tipo selettivamente di ritegno le informazioni mentre il processo della compilazione continua e che permette che i linguaggi di programmazione multipli tipo-siano controllati dallo stesso tipo sistema.

 
Web www.patentalert.com

< Methods and systems for obtaining computer software via a network

< Efficient motion vector coding for video compression

> Threading and communication architecture for a graphical user interface

> Keyboard with improved function and editing sections

~ 00155