English Dictionary: asl | by the DICT Development Group |
3 results for asl | |
From WordNet (r) 3.0 (2006) [wn]: | |
| |
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+ 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) |