DEEn Dictionary De - En
DeEs De - Es
DePt De - Pt
 Vocabulary trainer

Spec. subjects Grammar Abbreviations Random search Preferences
Search in Sprachauswahl
Search for:
Mini search box
 
English Dictionary: ASL by the DICT Development Group
3 results for ASL
From WordNet (r) 3.0 (2006) [wn]:
ASL
n
  1. the sign language used in the United States [syn: ASL, American sign language]
From The Free On-line Dictionary of Computing (15Feb98) [foldoc]:
   ASL
  
      {Algebraic Specification Language}
  
  

From The Free On-line Dictionary of Computing (15Feb98) [foldoc]:
   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)
  
  
No guarantee of accuracy or completeness!
©TU Chemnitz, 2006-2024
Your feedback:
Ad partners