<language> Karlsruhe Sather.
A sublanguage of Sather used for introductory courses in object-oriented design and typesafe programming.
E-mail: <trapp@karlsruhe.gmd.de>.
(1994-11-11)
Try this search on Wikipedia, OneLook, Google
Nearby terms: SATA « SATAN « Sather « Sather-K » satisfiability problem » saturation » Saturday-night special
