SE 580

Front Page

Syllabus

Courses On Line

Lectures in HTML

Week 1

Week 2

Week 3

Week 4

Week 5

Week 7

Week 8

Week 9

Week 10

Lectures in PDF

Week 1

Week 2

Week 3

Week 4

Week 5

Week 7

Week 8

Week 9

Week 10

Homework

Week 1

Week 2

Week 3

Week 4

Week 5

Week 7

Week 8

Week 9

Exams

Practice Midterm

Practice Midterm Sample Solution

Midterm Autumn 2001-2002

Midterm Winter 2001-2002

Midterm Autumn 2002-2003

Practice Final

Practice Final Sample Solution

Final Autumn 2001-2002

Final Winter 2001-2002

Final Autumn 2002-2003

Language specification

Syntax

Dynamic semantics

Static semantics

Language specification (zoomed in)

Syntax

Dynamic semantics

Static semantics

Interpreter

Full-featured Applet

Current Applet

Current Source

Test Files

Download (tgz archive)

Download (zip archive)

Software

JDK

XEmacs

JavaCC

WinZip

References

Java Generics

Featherweight Java Generics

Variant Java Generics

.NET Generics

Resources

BNF and EBNF

EBNF Languages and notations