CSE 2231 Homework Homework 1: Reading Formal Contract Specifications /** * No informal description here for obvious reasons... * * @replaces s2 * @requires |s1| >= 1 * @ensures * |s2| = |s1| - 1 and * for all i, j: integ er, a, b: string of integer * where (s1 = a...