Equational Reasoning about Object-Oriented Programs

Formal verification of software can be an enormous task. This fact brought some software engineers to claim that formal verification is not feasible in practice. One possible method of supporting the verification process is a programming language that provides powerful abstraction mechanisms combined with intensive reuse of code. In this thesis we present a strongly typed functional object-oriented programming language. This language features type operators of arbitrary kind corresponding to so-called type protocols. Sub classing and inheritance is based on higher-order matching, i.e., utilizes type protocols as basic tool for reuse of code. We define the operational and axiomatic semantics of this language formally. The latter is the basis of the interactive proof assistant VOOP (Verified Object-Oriented Programs) that allows the user to prove equational properties of programs interactively.

Letter Regarding William Woodruff Estate

Letter regarding William Woodruff's estate. This consists of one typed page. It is not made out to anyone, nor is it signed by anyone. The intended recipients are: S.D. Woodruff, H.K. Woodruff, Messrs. A. Woodruff and H. Yale, William Woodruff M.D., Henry Woodruff and Mrs. Helena A. Boomer. The letter is slightly torn and fragile.

Claim in the Matter of the Estate of Hamilton K. Woodruff

Claim (6 typed pages) by Julia C. Woodruff and Margaret W. Band in the matter of the estate of Hamilton K. Woodruff regarding bills paid by Mrs. Woodruff prior to her husband's death.

Statement of Mrs. H.K. Woodruff regarding Woodruff and Mutual Life

Statement of Mrs. H.K. Woodruff regarding Woodruff and Mutual Life. This is a 3 page typed, unsigned statement regarding Hamilton K. Woodruff and his state of mind prior to his death, n.d.

Sweeps Tickets

Sweeps tickets including: an envelope that says “sweep tickets from Miss Hillman which contains a Toronto Dominion Bank envelope containing 1 Hospitals’ Trust (1940) Dublin ticket; A Toronto Dominion Bank piece of stationary containing 2 Hospitals’ Trust (1940) Dublin tickets; A Toronto Dominion Bank envelope with “Mrs. Band” written of the back, containing 2 Irish Hospitals’ Sweepstakes Tickets (1958); 1 Toronto Dominion Bank envelope with Mrs. M. W. Band typed on the front, containing 2 Irish Hospitals’ Sweepstakes Tickets (1957) and 4 Hospitals’ Trust (1940) Dublin tickets; 1 Toronto Dominion Bank envelope containing 1 Irish Hospitals’ Sweepstake ticket (1958); 1 Toronto Dominion Bank envelope containing 4 Irish Hospitals’ Sweepstakes tickets (1958) all 4 of these tickets have Margaret W. Band written on the back but one also has “Nana” and one has “Hi-Boy” also written on it, 1940, 1957-1958

Letter to Mr. C. Howard from Mrs. Tolan

Letter (2 typed pages) to Mr. C. Howard of the Dominion Bank of Toronto from Mrs. Tolan of the Lundy’s Lane Historical Society explaining the origin of the name “Suspension Bridge”, Feb. 23, 1948.

Editorial which was printed in the Niagara Falls (Ontario) Evening Review on May 20, 1937, entitled “Captain Creighton Probably called it Clifton First”.

Editorial (1 typed page) which was printed in the Niagara Falls (Ontario) Evening Review on May 20, 1937, entitled “Captain Creighton Probably called it Clifton First”. This is printed on Lundy’s Lane Historical Society Letterhead by Mrs. Stanley Tolan. The article mentions “Samuel DeVeaux who created a “Niagara Falls Tourist Guide” which was published in 1839, April 24, 1948.

Letter to Mr. C. Howard from Mrs. Tolan

Letter (3 typed pages) to Mr. C. Howard of the Dominion Bank of Toronto from Mrs. Tolan of the Lundy’s Lane Historical Society. She encloses 2 articles entitled “Origins of Niagara Falls, Ontario” and “Captain Creighton and Clifton” Samuel Zimmerman is named in the first article. Mrs. Tolan requests that Mr. Band is also allowed to read the articles, April 25, 1948.

Letter to Louis J. Cahill from the managing editor at Knox, Harvie and Foss

Letter (1 typed page) to Louis J. Cahill from the managing editor at Knox, Harvie and Foss [this is the letterhead] asking about the Roebling Bridge, July 7, 1948.

Letter to Mr. C. Howard from Louis J. Cahill

Letter (1 typed page) to Mr. C. Howard from Louis J. Cahill of the Niagara Editorial Bureau stating that they are sending information in regard to the Zimmerman Bank and Whirlpool Rapids Bridge in relation to the forthcoming Centennial celebrations of the bridge, July 9, 1948.

Letter to Mr. C. Howard from Louis J. Cahill

Letter (1 typed page) to Mr. C. Howard from Louis J. Cahill of the Niagara Editorial Bureau requesting copies of the whirlpool rapids bridge story, July 16, 1948.

Letter to Louis J. Cahill from the Managing Editor [no indication of who he works for – same signature as is on the Knox, Harvie and Foss letter

Letter (1 typed page) to Louis J. Cahill from the Managing Editor [no indication of who he works for – same signature as is on the Knox, Harvie and Foss letter] saying that he has found various references to Samuel Zimmerman being active in the erection of the first suspension bridge and its Roebling successor, July 20, 1948.

Letter addressed to Press and Radio Friends which is attached to an informal history of the Whirlpool Rapids Bridge. The letter was sent from A.E. Parsons, manager of the Whirlpool Rapids Bridge

Letter (10 typed pages) addressed to Press and Radio Friends which is attached to an informal history of the Whirlpool Rapids Bridge. The letter was sent from A.E. Parsons, manager of the Whirlpool Rapids Bridge, n.d.

Letter to Mrs. Percy Band from Donald E. Loker

Letter (2 typed pages) to Mrs. Percy Band from Donald E. Loker, former American History master of the DeVeaux School, Niagara Falls, New York. Mr. Loker is enquiring about Maria and Sarah Woodruff. Samuel DeVeaux was married twice. He married Maria Woodruff, and after her death in 1815, he married her widowed sister, Sarah Woodruff, 1962.

Letter regarding a special service held by DeVeaux School to re-inter the body of Mrs. Maria Woodruff

Letter (2 page typed form letter with a handwritten note from Don Loker) regarding a special service held by DeVeaux School to re-inter the body of Mrs. Maria Woodruff, the first wife of Judge Samuel DeVeaux. Her body was originally buried at DeVeaux School in Niagara Falls, New York. The location of the ceremony was the cemetery in St. Davids, Ontario. Maria died on April 23, 1815 at the age of 19. This notice was sent by Rev. Alec Pudwell, chaplain of DeVeaux School, Niagara Falls, New York, May 6, 1963.