Run time
Definizione rapida
Run time è una denominazione per la quale la fonte rinvia alla voce “tempo di esecuzione”.
Spiegazione
Il contenuto non presenta una definizione autonoma: stabilisce invece un rimando terminologico. Per comprendere il concetto associato a Run time occorre quindi consultare “tempo di esecuzione”.
Esempio pratico
Se in un testo compare l'espressione Run time, il glossario indirizza il lettore alla scheda dedicata al tempo di esecuzione.
Spiegazione tecnica
La sola relazione tecnica registrata dalla fonte è l'equivalenza editoriale con “tempo di esecuzione”; non vengono fornite ulteriori proprietà del termine.
Da non confondere con
Run time non costituisce qui una voce indipendente da “tempo di esecuzione”, perché il materiale originario rimanda espressamente a quel lemma.