Syntax/Semantics Slides (PDF Format)


Some remarks on computer software, bugs, and accountability. Click here.

Some remarks on a very new, and on a very old, language.:  Click here.

Syntax:  Click here.

Semantics (parameters):  Click here.

Context-Free Grammars:  Click here.

Context-Free Examples:  Click here.

Ambiguous Grammars:  Click here.

Context-Sensitive Grammars:  Click here.

Attribute Grammars:  Click here.

Proving Programs Correct:  Click here.

Verify a Multiplication Algorithm here.

Verify a Search Algorithm here.

Verify a Maximum-Finding Algorithm here.

Verify an Algorithm with Nested If-Then-Else here, and a variation on this algorithm here.

Parameters:  Click here.