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.
'Amazing' Oklahoma tornado was largest in U.S. history. In this May 31, 2013 file photo a tornado forms near Banner Road and Praire Circle in El Reno, Okla. The National Weather Service says the deadly tornado that struck near Oklahoma City late last week was another top-of-the-scale EF5 that packed winds reaching 295 mph. The weather service also says the twister's 2.6-mile width is the widest ever recorded.