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.
KeywordsOklahoma town history Stroud Lincoln County Tulsa Oklahoma Turner Turnpike National Register Indian Territory liquor cotton Henry Starr oil tornado Sac and Fox stroud. Located in eastern Lincoln County, Stroud is situated at the intersection of State Highways 66 and 99 and one mile south of the midpoint of the Turner Turnpike between Tulsa and Oklahoma City.