SCHOOL:
a Small
Chorded Object Oriented Language
proofs
Soundness
of the Type System of SCHOOL
Proof
of lemma 1-- 2 pages
Proof of lemma 2 -- 1 page
Proof
of lemma 3 -- 4 pages
Proof of theorem 1 -- 2 pages
Soundness
of the Type System of SCHOOL+F
Proof
of theorem 2 --3 pages
Soundness
and Completeness of Encoding
of SCHOOL+F into SCHOOL wrt Types
Proof
of theorem 3 --2 pages
Proof
of theorem 4 --3 pages
Proof of lemma 4 -- 2 pages
Soundness
of Encoding
of SCHOOL+F into SCHOOL wrt Execution
Proof
of theorem 5 --2 pages
Completeness
of Encoding
of SCHOOL+F into SCHOOL wrt Execution
Proof of lemma 5 --15 pages
Proof
of lemma 6 --3 pages
Proof
of lemma 7 -- 1 page
Proof
of lemma 8 --2 pages
Proof of theorem 5 --3 page
s