Emperical semantics for object-oriented programs

The focus is on object orientation in a sequential or single-threaded setting and with single inheritance. The second restriction points in the direction of Java1, the rst restriction calls for a further subsetting of Java. JavaCck is a very restricted Java subset concentrated on the use of object-oriented constructions. The object-oriented features of JavaCck will be studied in detail. JavaCck is considered a very workable setting to discuss the principles of object orienta- tion