Just Enough Type Theory or, Featherweight Java A 或只是足够的类型理论featherweight Java.pptVIP

Just Enough Type Theoryor,Featherweight JavaA Simple Formal Model of Objects Jonathan Aldrich 15-819 Why Formal Models? Make precise what a language means What can you say in the language? How does a program execute? Allow us to prove formal properties Typically, lack of certain run-time errors This course Type theory not required for much of the reading However, some papers use formal notation A brief introduction will help us get more out of it Example: Featherweight Java A minimal core calculus for Java Classes, methods, fields, inheritance Any FJ program is a Java program Purpose of