a programming language implemented with a compiler that translates source code into a binary executable form