The file format used for executable programs and for files to be linked together to form executable programs.