High-level and low-level are terms used in classifying levels of description and goals in many fields where systems could be described from different perspectives. In formal methods, a high-level formal specification can be related to a low-level executable implementation (e.g., formally by mathematical proof using formal verification techniques).
Hugo, Oklahoma. Hugo is a city and county seat of Choctaw County, Oklahoma, United States. It is located in southeastern Oklahoma about 9 miles (14 km) north of the Texas state line. As of the 2010 census, the city population was 5,310.
Jones is a town in Oklahoma County, in the Oklahoma City metro area. Covering 13.662 square miles, present Jones is surrounded on three sides by Oklahoma City and by the town of Harrah to the east-southeast and the town of Choctaw to the south-southeast. Luther F. Aldrich platted the town site on April 22, 1898.