name "ld_basic_2_src" table { class "grey" [ { "component" * } { [ { "plane" * } { [ "files" * ] } ] } ] class "blue" [ { "examples" * } { [ { "" * } { [ "" * ] } ] } ] class "sky" [ { "native typing" * } { [ { "" * } { [ "nty" * ] } ] } ] class "cyan" [ { "conversion" * } { [ { "context-sensitive conversion" * } { [ "cpcs" * ] } ] } ] class "water" [ { "computation" * } { [ { "strongly normalizing computation" * } { [ "lsubcs" * ] [ "csn" "csn_cr" "csn_aarity" * ] } ] [ { "context-sensitive computation" * } { [ "cprs" * ] } ] [ { "support for abstract comptation properties" * } { [ "lsubc" * ] [ "acp" "acp_cr" * ] } ] } ] class "green" [ { "reducibility" * } { [ { "context-sensitive reduction" * } { [ "lcpr" * ] [ "cpr" "cpr_lift" "cpr_ltpr" "cpr_cpr" * ] } ] [ { "context-free normal forms" * } { [ "twhnf" "tnf" * ] } ] [ { "context-free reduction" * } { [ "ltpr" "ltpr_ldrop" * ] [ "tpr" "tpr_lift" "tpr_tpss" "tpr_tpr" * ] } ] [ { "context-free reducible forms" * } { [ "trf" * ] } ] } ] class "grass" [ { "static typing" * } { [ { "static type ass." * } { [ "sty" "sty_lift" "sty_sty" * ] } ] [ { "atomic arity ass." * } { [ "aaa" "aaa_lift" "aaa_aaa" * ] } ] [ { "parameters" * } { [ "sh" * ] } ] } ] class "yellow" [ { "unfold" * } { [ { "term inverse relocation" * } { [ "delift" * ] } ] [ { "partial unfold" * } { [ "ltpss" "ltpss_ldrop" "ltpss_tps" "ltpss_ltpss" * ] [ "tpss" "tpss_lift" "tpss_tpss" "tpss_ltps" * ] } ] } ] class "orange" [ { "substitution" * } { [ { "parallel substitution" * } { [ "ltps" "ltps_ldrop" "ltps_tps" "ltps_ltps" * ] [ "tps" "tps_lift" "tps_tps" * ] } ] [ { "global env. slicing" * } { [ "gdrop" * ] } ] [ { "local env. slicing" * } { [ "ldrop" "ldrop_ldrop" * ] } ] [ { "term relocation" * } { [ "lift" "lift_lift" * ] } ] } ] class "red" [ { "grammar" * } { [ { "local env. ref. for substitution" * } { [ "lsubs" "lsubs_lsubs" * ] } ] [ { "term hom." * } { [ "thom" "thom_thom" * ] } ] [ { "closures" * } { [ "cl_shift" "cl_weight" * ] } ] [ { "internal syntax" * } { [ "lenv" "lenv_weight" "lenv_length" * ] [ "term" "term_weight" "term_simple" * ] [ "item" * ] } ] [ { "external syntax" * } { [ "aarity" * ] } ] } ] } class "component" { 0 } class "plane" { 1 } class "file" { 2 * }