helm/www/lambda_delta/web/home/ld_basic_2.tbl

   1 name "ld_basic_2_src"
   2
   3 table {
   4    class "grey"
   5    [ { "component" * } {
   6         [ { "plane" * } {
   7              [ "files" * ]
   8           }
   9         ]
  10      }
  11    ]
  12    class "prune"
  13    [ { "functional" * } {
  14         [ { "unfold" * } {
  15              [ "lift" "subst" * ]
  16           }
  17         ]
  18      }
  19    ]
  20    class "blue"
  21    [ { "examples" * } {
  22         [ { "" * } {
  23              [ "" * ]
  24           }
  25         ]
  26      }
  27    ]
  28    class "sky"
  29    [ { "native typing" * } {
  30         [ { "" * } {
  31              [ "nty" * ]
  32           }
  33         ]
  34      }
  35    ]
  36    class "cyan"
  37    [ { "conversion" * } {
  38         [ { "context-sensitive conversion" * } {
  39              [ "cpcs" * ]
  40           }
  41         ]
  42      }
  43    ]
  44    class "water"
  45    [ { "computation" * } {
  46         [ { "strongly normalizing computation" * } {
  47              [ "csn" "csn_cr" "csn_aaa" * ]
  48           }
  49         ]
  50         [ { "context-sensitive computation" * } {
  51              [ "cprs" * ]
  52           }
  53         ]
  54         [ { "support for abstract computation properties" * } {
  55              [ "lsubc" * ]
  56              [ "acp" "acp_cr" "acp_aaa" * ]
  57           }
  58         ]
  59      }
  60    ]
  61    class "green"
  62    [ { "reducibility" * } {
  63         [ { "context-sensitive reduction" * } {
  64              [ "lcpr" * ]
  65              [ "cpr" "cpr_lift" "cpr_ltpr" "cpr_cpr" * ]
  66           }
  67         ]
  68         [ { "context-free normal forms" * } {
  69              [ "twhnf" "tnf" * ]
  70           }
  71         ]
  72         [ { "context-free reduction" * } {
  73              [ "ltpr" "ltpr_ldrop" * ]
  74              [ "tpr"  "tpr_lift" "tpr_tpss" "tpr_tpr" * ]
  75           }
  76         ]
  77         [ { "context-free reducible forms" * } {
  78              [ "trf" * ]
  79           }
  80         ]
  81      }
  82    ]
  83    class "grass"
  84    [ { "static typing" * } {
  85         [ { "static type ass." * } {
  86              [ "sty" "sty_lift" "sty_sty" * ]
  87           }
  88         ]
  89         [ { "atomic arity ass." * } {
  90              [ "aaa" "aaa_lift" "aaa_aaa" * ]
  91           }
  92         ]
  93         [ { "parameters" * } {
  94              [ "sh" * ]
  95           }
  96         ]
  97      }
  98    ]
  99    class "yellow"
 100    [ { "unfold" * } {
 101         [ { "term inverse relocation" * } {
 102              [ "delift" "delift_lift" * ]
 103           }
 104         ]
 105         [ { "partial unfold" * } {
 106              [ "ltpss" "ltpss_ldrop" "ltpss_tps" "ltpss_ltpss" * ]
 107              [ "tpss" "tpss_lift" "tpss_tpss" "tpss_ltps" * ]
 108           }
 109         ]
 110         [ { "generic local env. slicing" * } {
 111              [ "lifts" "ldrops" * ]
 112           }
 113         ]
 114      }
 115    ]
 116    class "orange"
 117    [ { "substitution" * } {
 118         [ { "parallel substitution" * } {
 119              [ "ltps" "ltps_ldrop" "ltps_tps" "ltps_ltps" * ]
 120              [ "tps" "tps_lift" "tps_tps" * ]
 121           }
 122         ]
 123         [ { "global env. slicing" * } {
 124              [ "gdrop" * ]
 125           }
 126         ]
 127         [ { "local env. slicing" * } {
 128              [ "ldrop" "ldrop_ldrop" * ]
 129           }
 130         ]
 131         [ { "term relocation" * } {
 132              [ "lift" "lift_lift" "lift_vector" * ]
 133           }
 134         ]
 135      }
 136    ]
 137    class "red"
 138    [ { "grammar" * } {
 139         [ { "local env. ref. for substitution" * } {
 140              [ "lsubs" "lsubs_lsubs" * ]
 141           }
 142         ]
 143         [ { "term hom." * } {
 144              [ "thom" "thom_thom" * ]
 145           }
 146         ]
 147         [ { "closures" * } {
 148              [ "cl_shift" "cl_weight" * ]
 149           }
 150         ]
 151         [ { "internal syntax" * } {
 152              [ "lenv" "lenv_weight" "lenv_length" * ]
 153              [ "term" "term_weight" "term_simple" "term_vector" * ]
 154              [ "item" * ]
 155           }
 156         ]
 157         [ { "external syntax" * } {
 158              [ "aarity" * ]
 159           }
 160         ]
 161      }
 162    ]
 163 }
 164
 165 class "component" { 0 }
 166
 167 class "plane" { 1 }
 168
 169 class "file" { 2 * }