Ada Semantic Interface Specification <language> (ASIS) An intermediate representation for {Ada}. E-mail: <[email protected]>. See also {Diana}. (1995-02-15)