2012 October 16.
@@ -319,7 +326,7 @@
local env. ref. for stratified native validity |
- lsubsv ( ? ⢠? â©:â[?] ? ) |
+ lsubsv ( ? ⢠? ¡â[?] ? ) |
lsubsv_ldrop lsubsv_lsuba lsubsv_ssta lsubsv_dxprs lsubsv_cpcs lsubsv_snv |
@@ -336,7 +343,7 @@
|
stratified native validity |
- snv ( �,?⦠⩠? :[?] ) |
+ snv ( �,?⦠⢠? ¡[?] ) |
snv_lift snv_ltpss_dx snv_ltpss_sn snv_aaa snv_ssta snv_sstas snv_ssta_ltpr snv_ltpr snv_cpcs |
@@ -386,9 +393,9 @@
|
|
- local env. ref. for context-sensitive equivalence |
- lsubse ( ? â¢â¢â[?] ? ) |
- lsubse_ldrop lsubse_ssta lsubse_cpcs |
+ local env. ref. for stratified static type assignment |
+ lsubss ( ? â¢â[?] ? ) |
+ lsubss_ldrop lsubss_ssta lsubss_cpcs |
|
@@ -773,7 +780,7 @@
context-free reduction |
ltpr ( ? â¡ ? ) |
- ltpr_ldrop ltpr_tps ltpr_ltpss_dx ltpr_ltpss_sn ltpr_aaa ltpr_ltpr |
+ ltpr_ldrop ltpr_tps ltpr_tpss ltpr_ltpss_dx ltpr_ltpss_sn ltpr_aaa ltpr_ltpr |
|
@@ -792,7 +799,7 @@
tpr ( ? â¡ ? ) |
- tpr_lift tpr_tps tpr_tpss tpr_delift tpr_tpr |
+ tpr_lift tpr_delift tpr_tpr |
|
@@ -918,10 +925,12 @@
|
- partial unfold |
- ltpss_sn ( ? ⢠â¶*[?,?] ? ) |
- ltpss_sn_alt ( ? ⢠â¶â¶*[?,?] ? ) |
- ltpss_sn_ldrop ltpss_sn_tps ltpss_sn_tpss ltpss_sn_ltpss_sn |
+ revised parallel substitution |
+ lcpss ( ? ⢠â¶* ? ) |
+ lcpss_ldrop lcpss_cpss lcpss_lcpss |
+
+
+ |
|
@@ -936,8 +945,8 @@
|
- ltpss_dx ( ? â¶*[?,?] ? ) |
- ltpss_dx_ldrop ltpss_dx_tps ltpss_dx_tpss ltpss_dx_ltpss_dx |
+ cpss ( ? ⢠? â¶* ? ) |
+ cpss_lift |
|
@@ -952,13 +961,13 @@
|
-
+ | partial unfold |
+ ltpss_sn ( ? ⢠â¶*[?,?] ? ) |
+ ltpss_sn_alt ( ? ⢠â¶â¶*[?,?] ? ) |
+ ltpss_sn_ldrop ltpss_sn_tps ltpss_sn_tpss ltpss_sn_ltpss_sn |
+
|
- tpss ( ? ⢠? â¶*[?,?] ? ) |
- tpss_alt ( ? ⢠? â¶â¶*[?,?] ? ) |
- tpss_lift |
- tpss_tpss |
|
@@ -967,9 +976,11 @@
|
- generic local env. slicing |
- ldrops ( â©*[?] ? â¡ ? ) |
- ldrops_ldrop ldrops_ldrops |
+
+
+ |
+ ltpss_dx ( ? â¶*[?,?] ? ) |
+ ltpss_dx_ldrop ltpss_dx_tps ltpss_dx_tpss ltpss_dx_ltpss_dx |
|
@@ -984,9 +995,24 @@
|
- iterated restricted structural predecessor for closures |
- frsups ( â¦?,?⦠â§* â¦?,?⦠) |
- frsups_frsups |
+
+
+ |
+ tpss ( ? ⢠? â¶*[?,?] ? ) |
+ tpss_alt ( ? ⢠? â¶â¶*[?,?] ? ) |
+ tpss_lift |
+ tpss_tpss |
+
+
+ |
+
+
+
+
+ |
+ iterated structural successor for closures |
+ fsupp ( â¦?,?⦠â+ â¦?,?⦠) |
+ fsupp_fsupp |
|
@@ -1001,11 +1027,9 @@
|
-
-
- |
- frsupp ( â¦?,?⦠â§+ â¦?,?⦠) |
- frsupp_frsupp |
+ generic local env. slicing |
+ ldrops ( â©*[?] ? â¡ ? ) |
+ ldrops_ldrop ldrops_ldrops |
|
@@ -1084,9 +1108,11 @@
|
- global env. slicing |
- gdrop ( â©[?] ? â¡ ? ) |
- gdrop_gdrop |
+ structural successor for closures |
+ fsup ( â¦?,?⦠â â¦?,?⦠) |
+
+
+ |
|
@@ -1101,9 +1127,9 @@
|
- basic local env. slicing |
- ldrop ( â©[?,?] ? â¡ ? ) |
- ldrop_append ldrop_lpx ldrop_sfr ldrop_ldrop |
+ global env. slicing |
+ gdrop ( â©[?] ? â¡ ? ) |
+ gdrop_gdrop |
|
@@ -1118,10 +1144,12 @@
|
- local env. ref. for substitution |
- lsubs ( ? â¼[?,?] ? ) |
- (lsubs_lsubs) |
- lsubs_sfr ( â½[?,?] ? ) |
+ basic local env. slicing |
+ ldrop ( â©[?,?] ? â¡ ? ) |
+ ldrop_append ldrop_lpx ldrop_lbotr ldrop_ldrop |
+
+
+ |
|
@@ -1133,14 +1161,10 @@
|
- restricted structural predecessor for closures |
- frsup ( �,?⦠⧠�,?⦠) |
-
-
- |
-
-
- |
+ local env. ref. for substitution |
+ lsubr ( ? â[?,?] ? ) |
+ (lsubr_lsubr) |
+ lsubr_lbotr ( â[?,?] ? ) |
|
@@ -1354,6 +1378,6 @@
- Last update: Fri, 15 Mar 2013 00:07:00 +0100
+ Last update: Fri, 05 Apr 2013 14:24:38 +0200