… This report gives a precise language description for implementors. It is not intended as a
programmer’s manual. We give a traditional language description in the interpretive style. The …

… The Sather language gets its name from the Sather Tower, the best-known landmark of the
… to the language Ei el. However, since its conception the two languages have evolved to be …

Sather extends the notion of an iterator in a powerful new way. We argue that iteration
abstractions belong in class interfaces on an equal footing with routines. Sather iterators were …

Previously, we introduced the idea of agile compiler development, ie, starting from an initial
compiler for the most simple program of a language and extending it in small versions, each …

… notion of programming language semantics has perhaps played a larger role than needed.
We illustrate the argument with examples taken from the object-oriented language Sather-K. …

… In SATHER-K the conformance relation can be expressed syntactically by a subtype
inheritance statement. Conformance of classes is ensured by the following design rules. …

… of comparable quality to compilers translating common imperative languages. Partially this
is due to the functionality of such languages that imposes additional runtime costs such as …

… language of the front-end. Especially we do not assume that it is implemented in a language
for … Our implementation language for the checker part is Sather-K [11], a type-safe object-…

… of the inner parts may be di erent to our implementation language for which a veri ed … of
a concrete language and is therefore language dependent, we are able to de ne a language …

… The goals of this language have been to create a concurrent, modularised and distributed
language which minimises the inheritance anomaly and can be reasoned about formally. …