ASL+
\ˈasə͡l plˈʌs], \ˈasəl plˈʌs], \ˈa_s_əl p_l_ˈʌ_s]\
Sort: Oldest first
-
An algebraic specificationlanguage 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-abstractedspecifications and a notion of stratified equality forhigher-order objects.
By Denis Howe
Word of the day
Proto Oncogene Proteins c erbB 2
- cell surface protein-tyrosine kinase that is found to be overexpressed in significant number adenocarcinomas. It has extensive homology can heterodimerize EGF EPIDERMAL GROWTH FACTOR), 3 receptor (RECEPTOR, 3) and the 4 receptor. Activation of erbB-2 receptor occurs during heterodimer formation with a ligand-bound erbB family members. EC 2.7.11.-.