class "water"
[ { "computation" * } {
[ { "strongly normalizing computation" * } {
- [ "lsubcs" * ]
- [ "csn" "csn_cr" "csn_aarity" * ]
+ [ "csn" "csn_cr" "csn_aaa" * ]
}
]
[ { "context-sensitive computation" * } {
[ "cprs" * ]
}
]
- [ { "support for abstract comptation properties" * } {
+ [ { "support for abstract computation properties" * } {
[ "lsubc" * ]
- [ "acp" "acp_cr" * ]
+ [ "acp" "acp_cr" "acp_aaa" * ]
}
]
}
[ "tpss" "tpss_lift" "tpss_tpss" "tpss_ltps" * ]
}
]
+ [ { "generic local env. slicing" * } {
+ [ "lifts" "ldrops" * ]
+ }
+ ]
}
]
class "orange"
}
]
[ { "term relocation" * } {
- [ "lift" "lift_lift" * ]
+ [ "lift" "lift_lift" "lift_vector" * ]
}
]
}
]
[ { "internal syntax" * } {
[ "lenv" "lenv_weight" "lenv_length" * ]
- [ "term" "term_weight" "term_simple" * ]
+ [ "term" "term_weight" "term_simple" "term_vector" * ]
[ "item" * ]
}
]