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.
Soper Cemetery. Choctaw County, Oklahoma. Soper Cemetery is a fairly large, well kept cemetery, just West of the small town of Soper with about 1300 burials. Soper is about 9 miles West of Hugo on Hwy 70. To find the cemetery, travel West out of Soper on Hwy 70. The cemetery is just on the edge of town on the North side of the highway.