Assignment: Semantic Analysis - Revision history

Amallen: added links to grammar

2010-08-27T19:31:24Z

added links to grammar

Amallen: /* Notes */

2010-07-29T23:26:13Z

Notes

Amallen: Created Page for Type Checking project

2010-07-28T23:09:30Z

Created Page for Type Checking project

New page

= Overview =
In this project students implement a semantic analysis (type checking) pass for our [[Concurrent MiniJava Grammar|modified MiniJava]] language.

== Notes ==
Our [[Concurrent MiniJava Grammar|modifications to MiniJava]] require an additional step for initializing the class and type environments. The class environment must be initialized with a type-descriptor containing each of the method types in class [[Xinu Helper Class|''Xinu'']], and the type environment must be initialized with a binding of identifier ''Xinu'' to this class type.

@@ Line 1: / Line 1: @@
 = Overview =
-In this project students implement a semantic analysis (type checking) pass for our [[Concurrent MiniJava Grammar|modified MiniJava]] language.
+In this project students implement a semantic analysis (type checking) pass for our [http://www.mscs.mu.edu/~brylow/cosc4400/Spring2011/ConcurrentMiniJava.html Concurrent MiniJava] language.
 == Notes ==
-Our [[Concurrent MiniJava Grammar|modifications to MiniJava]] require an additional step for initializing the class and type environments. The class environment must be initialized with a type-descriptor containing each of the method types in class [[Xinu Helper Class|''Xinu'']], and the type environment must be initialized with a binding of identifier ''Xinu'' to this class type. With this, the type checker can verify that external calls are programmed properly and also verify that only external calls which the compiler knows how to map to the underlying runtime are being used in the program.
+Our [http://www.mscs.mu.edu/~brylow/cosc4400/Spring2011/ConcurrentMiniJava.html modifications to MiniJava] require an additional step for initializing the class and type environments. The class environment must be initialized with a type-descriptor containing each of the method types in class [[Xinu Helper Class|''Xinu'']], and the type environment must be initialized with a binding of identifier ''Xinu'' to this class type. With this, the type checker can verify that external calls are programmed properly and also verify that only external calls which the compiler knows how to map to the underlying runtime are being used in the program.

← Older revision		Revision as of 23:26, 29 July 2010
Line 3:		Line 3:

	== Notes ==		== Notes ==
−	Our [[Concurrent MiniJava Grammar\|modifications to MiniJava]] require an additional step for initializing the class and type environments. The class environment must be initialized with a type-descriptor containing each of the method types in class [[Xinu Helper Class\|''Xinu'']], and the type environment must be initialized with a binding of identifier ''Xinu'' to this class type.	+	Our [[Concurrent MiniJava Grammar\|modifications to MiniJava]] require an additional step for initializing the class and type environments. The class environment must be initialized with a type-descriptor containing each of the method types in class [[Xinu Helper Class\|''Xinu'']], and the type environment must be initialized with a binding of identifier ''Xinu'' to this class type. With this, the type checker can verify that external calls are programmed properly and also verify that only external calls which the compiler knows how to map to the underlying runtime are being used in the program.