A type of binary file designed to be directly executed by a computer system. → executable program.
→ executable; → file.