Verification of an Optimisation Algorithm of Stack Machine in Functional Programming Languages

The invention includes polishing processes, methods of polishing materials, methods for slowing a rate of material removal of a polishing process, and methods of forming trench isolation regions. In one aspect, the invention includes a method comprising: a) forming a material over a surface of a substrate; b) providing a substantially nonporous polishing pad and a chemical composition proximate the material, the material being substantially wettable to the chemical composition, the substrate surface and substantially non-porous polishing pad being substantially non-wettable to the chemical composition; and c) polishing the material with the substantially non-porous polishing pad and the chemical composition. In another aspect, the invention includes a method comprising: a) forming a first silicon dioxide layer over a substrate; b) forming a polysilicon layer over the first silicon dioxide layer, the polysilicon layer having an upper surface; c) forming an opening through the polysilicon layer, through the first silicon dioxide layer, and into the substrate; d) forming a second layer of silicon dioxide within the opening and over the polysilicon layer upper surface, the second layer of silicon dioxide substantially completely filling the opening; and e) polishing the second silicon dioxide from over the polysilicon layer upper surface utilizing a substantially non-porous hydrophobic material polishing pad and a water-comprising chemical composition.