A high-level programming language developed by the U.S. Department of Defense for use in embedded computer systems.