chop(redirected from chop off)
Also found in: Dictionary, Thesaurus, Medical, Legal, Idioms.
a city (since 1957) in Uzhgorod Raion, Transcarpathian Oblast, Ukrainian SSR. Chop, located near the border of Hungary and Czechoslovakia, is a junction for railroad lines to Uzhgorod, Mukachevo, Budapest, and Prague. The city has enterprises servicing the railroad industry, a plant for the production of brick and tile, and a garment division of the Uzhgorod Textile and Clothing Accessory Factory.
["Fast Code Generation Using Automatically-Generated Decision Trees", ACM SIGPLAN '90 PLDI].