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.
Oklahoma County, Oklahoma (OK) County population in 2014: 766,215 (94% urban, 6% rural); it was 660,448 in 2000. County owner-occupied with a mortgage or a loan houses and condos in 2010: 118,624. County owner-occupied free and clear houses and condos in 2010: 53,716.