A specification defining requirements for portability of applications in binary forms across different system platforms and environments.