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 University of Oklahoma (OU) is a coeducational public research university located in Norman, Oklahoma. Founded in 1890, it had existed in Oklahoma Territory near Indian Territory for 17 years before the two became the state of Oklahoma. As of 2007 the university had 29,931 students enrolled, most located at its main campus in Norman.