The object's class definition is then known at compile time, enabling the SCL compiler to verify the method and to access attributes at that time. Moreover, since dot notation checks the method ...

An abstract class is a template definition of methods ... similarly in Java. For example, using the keyword implements will make a Java interface, while the keyword extends makes an abstract class.