Welcome to B522!

Instructor:

Online course evaluation is now available.

TextBooks and References

• The Jbook will be our main reference.

• I will also distribute several papers. Some of those papers are collected in the book Formal Syntax and Semantics of Java.

• The paper Increasing Java's expressiveness with ThisType and match-bounded polymorphism discusses the difference between subtyping and inheritance in OO languages (among many other things).

• For information on abstract state machines, consult this page. There is also a one-hour lecture by Yuri Gurevich available from the Microsoft website. (Thanks to Dipa for that link.) Naturally if you use Netscape to follow this link, it will crash. Opera just hangs. Only one other browser seems to work fine, by pure coincidence.

• For information on AsmGofer, consult this page.

• We will use both Haskell and Java. Haskell is the language used to implement the abstract state machines and will be our "meta language." Java is our "object language" under study. For information about Haskell, look at the Haskell page.