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.
Centrally located in Stephens County, Duncan became the county seat after Oklahoma achieved statehood in 1907. As a compromise between residents of the northern and southern parts of the county, the county courthouse was located in the middle of Duncan's Main Street, half of it in the northern part of the city and county and half in the southern.