Before revision:  We evaluated the methods by using them to design two languages for professional developers . Glacier extends Java to enable programmers to express immutability properties effectively and easily.
After revision:  We evaluated the methods by using them to design two new programming languages . Glacier extends Java to enable programmers to express immutability properties effectively and easily.