2013 March 16.
@@ -725,6 +733,42 @@
+
+
+
+ |
+ revised context-sensitive reduction |
+ lpr ( ? ⢠⡠? ) |
+ lpr_ldrop lpr_cpr lpr_lpr |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+
+
+ |
+ cpr ( ? ⢠? ⡠? ) |
+ cpr_lift |
+
+
+ |
+
+
+ |
+
+
+ |
+
@@ -811,10 +855,65 @@
|
- unwind |
+ unfold |
+ restricted parallel computation |
+ lpqs ( ? ⢠â¤* ? ) |
+ lpqs_ldrop lpqs_cpqs lpqs_lpqs |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+
+
+ |
+ cpqs ( ? ⢠? â¤* ? ) |
+ cpqs_lift |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+ unfold |
+ unfold ( ? ⢠? ⧫* ? ) |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
iterated stratified static type assignment |
sstas ( â¦?,?⦠⢠? â¢*[?] ? ) |
- sstas_lift sstas_ltpss_dx sstas_ltpss_sn sstas_aaa sstas_sstas |
+ sstas_lift sstas_lpss sstas_aaa sstas_sstas |
|
@@ -829,7 +928,7 @@
static typing |
stratified static type assignment |
ssta ( â¦?,?⦠⢠? â¢[?,?] ? ) |
- ssta_lift ssta_ltpss_dx ssta_ltpss_sn ssta_aaa ssta_ssta |
+ ssta_lift ssta_lpss ssta_aaa ssta_ssta |
|
@@ -863,7 +962,7 @@
atomic arity assignment |
aaa ( ? ⢠? â ? ) |
- aaa_lift aaa_lifts aaa_ltpss_dx aaa_ltpss_sn aaa_aaa |
+ aaa_lift aaa_lifts aaa_lpss aaa_aaa |
|
@@ -892,42 +991,10 @@
- unfold |
- basic local env. thinning |
- thin ( ? â¼*[?,?] â¡ ? ) |
- thin_ldrop thin_delift |
-
-
- |
-
-
- |
-
-
- |
-
-
-
-
- |
- inverse basic term relocation |
- delift ( ? ⢠? â¼*[?,?] â¡ ? ) |
- delift_alt ( ? ⢠? â¼â¼*[?,?] â¡ ? ) |
- delift_lift delift_tpss delift_ltpss delift_delift |
-
-
- |
-
-
- |
-
-
-
-
- |
- revised parallel substitution |
- lcpss ( ? ⢠â¶* ? ) |
- lcpss_ldrop lcpss_cpss lcpss_lcpss |
+ substitution |
+ parallel substitution |
+ lpss ( ? ⢠â¶* ? ) |
+ lpss_ldrop lpss_cpss lpss_lpss |
|
@@ -961,26 +1028,9 @@
|
- partial unfold |
- ltpss_sn ( ? ⢠â¶*[?,?] ? ) |
- ltpss_sn_alt ( ? ⢠â¶â¶*[?,?] ? ) |
- ltpss_sn_ldrop ltpss_sn_tps ltpss_sn_tpss ltpss_sn_ltpss_sn |
-
-
- |
-
-
- |
-
-
-
-
- |
-
-
- |
- ltpss_dx ( ? â¶*[?,?] ? ) |
- ltpss_dx_ldrop ltpss_dx_tps ltpss_dx_tpss ltpss_dx_ltpss_dx |
+ iterated structural successor for closures |
+ fsups ( â¦?,?⦠â* â¦?,?⦠) |
+ fsups_fsups |
|
@@ -998,19 +1048,6 @@
|
- tpss ( ? ⢠? â¶*[?,?] ? ) |
- tpss_alt ( ? ⢠? â¶â¶*[?,?] ? ) |
- tpss_lift |
- tpss_tpss |
-
-
- |
-
-
-
-
- |
- iterated structural successor for closures |
fsupp ( â¦?,?⦠â+ â¦?,?⦠) |
fsupp_fsupp |
@@ -1090,24 +1127,7 @@
|
- substitution |
- parallel substitution |
- tps ( ? ⢠? â¶[?,?] ? ) |
- tps_lift tps_tps |
-
-
- |
-
-
- |
-
-
- |
-
-
-
-
- |
+ relocation |
structural successor for closures |
fsup ( â¦?,?⦠â â¦?,?⦠) |
@@ -1146,7 +1166,7 @@
|
basic local env. slicing |
ldrop ( â©[?,?] ? â¡ ? ) |
- ldrop_append ldrop_lpx ldrop_lbotr ldrop_ldrop |
+ ldrop_append ldrop_lpx ldrop_lpx_sn ldrop_lbotr ldrop_ldrop |
|
@@ -1287,7 +1307,7 @@
lenv_weight ( â¯{?} ) |
lenv_length ( |?| ) |
lenv_append ( ? @@ ? ) |
- lenv_px lenv_px_bi |
+ lenv_px lenv_px_sn lenv_px_bi |
@@ -1378,6 +1398,6 @@
- Last update: Fri, 05 Apr 2013 14:24:38 +0200
+ Last update: Sat, 20 Apr 2013 21:34:40 +0200
|