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.
From Wikipedia, the free encyclopedia. Oklahoma City University School of Law, also known as OCU Law, is one of the professional graduate schools of Oklahoma City University. OCU Law is located in Oklahoma City, Oklahoma and was founded in 1907. OCU Law was located in the Sarkeys Law Center on the southwest side of the Oklahoma City University campus until Spring 2015, when it moved to a new campus near downtown Oklahoma City.