- order-sorted
logic allows one sort s 1 {\displaystyle s_{1}} to be
declared a
subsort of
another sort s 2 {\displaystyle s_{2}} ,
usually by
writing s 1 ⊆ s...
- to
declare a sort dog to be a
subsort of a sort animal.
Wherever a term of some sort s is required, a term of any
subsort of s may be
supplied instead...
-
sorority sors sort- lot consort, consortial, consortium, sort, sortition,
subsort †sorticula sorticul-
spatium spati-
space interspace, interspatial, space...
-
Franconie (
subsort Lampart)+
Portugais Bleu +
Saint Laurent (Skalicka Frankovka,
Modry Portugal, Svätovavrinecké) and also a
typical subsort of Noir de...
- "ultra high-level" languages. It
features abstract types,
generic modules,
subsorts (subtypes with
multiple inheritance), pattern-matching
modulo equations...
-
language based on first-order
logic with induction.
Partial functions and
subsorting are also supported. CASL has been
designed by CoFI, the
Common Framework...
