Provel cheese answer for the origin of the name, although one popular theory is that it is a portmanteau of the words provolone and mozzarella, two of the cheeses for which it is substituted. Another rumored name origin is that "Provel" comes from the name provolone, removing the "-one" as it is made up of more than one type of cheese. As a processed cheese, Provel is subject to FDA guidelines on labeling cheese. The trademark on the Provel name, first used in 1947, is currently held by the Churny Company, Inc. of Glenview, Illinois. Churny is now a wholly owned subsidiary
Type system or an "effect system", which enables even more program specifications to be verified by a type checker. Beyond simple value-type pairs, a virtual "region" of code is associated with an "effect" component describing "what" is being done "with what", and enabling for example to "throw" an error report. Thus the symbolic system may be a "type and effect system", which endows it with more safety checking than type checking alone. Whether automated by the compiler or specified by a programmer, a type system makes program behavior illegal if outside the type-system rules. Advantages provided by programmer-specified type systems include: Advantages