Get Affordable VMs - excellent virtual server hosting


browse words by letter
a b c d e f g h i j k l m n o p q r s t u v w x y z
asl

more about asl

asl

 

  4  definitions  found 
 
  From  WordNet  r  1.6  [wn]: 
 
  ASL 
  n  :  the  sign  language  used  in  the  US  [syn:  {ASL},  {American  sign 
  language}] 
 
  From  The  Free  On-line  Dictionary  of  Computing  (13  Mar  01)  [foldoc]: 
 
  ASL 
 
  {Algebraic  Specification  Language} 
 
 
 
  From  The  Free  On-line  Dictionary  of  Computing  (13  Mar  01)  [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) 
 
 
 
  From  V.E.R.A.  --  Virtual  Entity  of  Relevant  Acronyms  13  March  2001  [vera]: 
 
  ASL 
  Adaptive  Speed  Levelling  (US  Robotics)




more about asl