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.
The Oklahoma Panhandle is the extreme northwestern region of the state of Oklahoma, consisting of Cimarron County, Texas County, and Beaver County, from west to east. Its name comes from the similarity of its shape to the handle of a cooking pan. The three-county Oklahoma Panhandle region had a population of 28,751 at the 2010 census, representing 0.77% of the state's population. This is a decrease in total population of 1.2%, a loss of 361 people, from the census of 2000.