A method, computer program, signal transmission and apparatus pre-verify instructions in a module of a computer program one module-at-a-time. First it is determined whether checking an instruction in a first module which is loaded requires information in a referenced module different than the first module. If the information is required, a constraint for the referenced module is written without loading or otherwise accessing the referenced module. During linking it is determined whether a first module which is loaded has passed pre-verification one-module-at-a-time before linking. A pre-verification constraint on a constrained module is read, if any, if the first module has passed such verification. If any pre-verification constraint is read, the pre-verification constraint is enforced if the constrained module is already loaded.

Μια μέθοδος, ένα πρόγραμμα υπολογιστών, μια μετάδοση σημάτων και μια συσκευή προ-ελέγχουν τις οδηγίες σε μια ενότητα ενός προγράμματος υπολογιστών ένα ενότητα-$$$-Α-ΧΡΌΝΟΣ. Πρώτα καθορίζεται εάν ο έλεγχος μιας οδηγίας σε μια πρώτη ενότητα που φορτώνεται επιθυμεί τις πληροφορίες σε μια παραπεμφθείσα ενότητα διαφορετική από την πρώτη ενότητα. Εάν οι πληροφορίες απαιτούνται, ένας περιορισμός για την παραπεμφθείσα ενότητα γράφεται χωρίς τη φόρτωση ή ειδάλλως πρόσβαση της παραπεμφθείσας ενότητας. Κατά τη διάρκεια της σύνδεσης καθορίζεται εάν μια πρώτη ενότητα που φορτώνεται έχει περάσει τον ένας-ενότητα-$$$-Α-ΧΡΌΝΟ προ-επαλήθευσης πριν από τη σύνδεση. Ένας περιορισμός προ-επαλήθευσης σε μια περιορισμένη ενότητα διαβάζεται, ενδεχομένως, εάν η πρώτη ενότητα έχει περάσει τέτοια επαλήθευση. Εάν οποιοσδήποτε περιορισμός προ-επαλήθευσης διαβάζεται, ο περιορισμός προ-επαλήθευσης επιβάλλεται εάν η περιορισμένη ενότητα φορτώνεται ήδη.