SEAL

Semantics-directed Environment Adaptation Language.

ftp://ftp.cwi.nl/pub/gipe/0092b.ps.Z.