资料来源 : WordNet®

ASL
     n : the sign language used in the United States [syn: {American
         sign language}]

资料来源 : Free On-Line Dictionary of Computing

ASL
     
        {Algebraic Specification Language}

ASL+
     
         An {algebraic specification
        language} by David Aspinall of the {University of Edinburgh}.
        ASL+ has rules for proving the satisfaction of specifications.
        It can also be viewed as a {type theory} with {subtyping},
        featuring {contravariant refinement} for {Pi-abstracted}
        specifications and a notion of {stratified equality} for
        {higher-order objects}.
     
        (1994-09-14)