L'interoperabilità tra linguaggi e macchine

Queste due funzioni dovranno:
1. Convertire la rappresentazione dei tipi da quella di una macchina a quella dell'altra
2. Trasmettere i valori dei parametri passati per valore
3. Individuare, tra i parametri per riferimento, quali sono utilizzati dalla funzione, ma non modificati, quali sono usati e modificati e quali vengono creati, senza tener conto del loro precedente contenuto
4. Individuare la dimensione delle variabili passate per riferimento
5. Trasmettere dal chiamante al chiamato le aree di memoria delle variabili passate per valore e richieste dalla funzione chiamata
6. Trasmettere dal chiamato al chiamante le aree di memoria delle variabili passate per valore e modificate dalla funzione chiamata, insieme con l'eventuale valore di ritorno
Per fare tutte queste operazioni si deve conoscere l'interfaccia della funzione da chiamare.
Per alcuni linguaggi questa interfaccia può essere desunta dal programma stesso.
Per consentire questa conoscenza nel caso generale sono stati sviluppati dei linguaggi detti Interface Description Language o IDL