The links between the segments of a (large) program. Where segments are separately compiled it is necessary to provide a mechanism for transferring control out of one segment and into another, usually by introducing a specific type of labelled statement that identifies the point at which a segment can be entered, and whose value can be made accessible to other segments when the program is link-edited.