2013 March 16.
@@ -725,6 +733,42 @@
+
+
+
+ |
+ revised context-sensitive reduction |
+ lpr ( ? ⢠⡠? ) |
+ lpr_ldrop lpr_cpr lpr_lpr |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+
+
+ |
+ cpr ( ? ⢠? ⡠? ) |
+ cpr_lift |
+
+
+ |
+
+
+ |
+
+
+ |
+
@@ -780,7 +824,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 |
|
@@ -799,7 +843,7 @@
tpr ( ? â¡ ? ) |
- tpr_lift tpr_tps tpr_tpss tpr_delift tpr_tpr |
+ tpr_lift tpr_delift tpr_tpr |
|
@@ -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,10 +991,10 @@
- unfold |
- basic local env. thinning |
- thin ( ? â¼*[?,?] â¡ ? ) |
- thin_ldrop thin_delift |
+ substitution |
+ parallel substitution |
+ lpss ( ? ⢠â¶* ? ) |
+ lpss_ldrop lpss_cpss lpss_lpss |
|
@@ -910,25 +1009,14 @@
|
- inverse basic term relocation |
- delift ( ? ⢠? â¼*[?,?] â¡ ? ) |
- delift_alt ( ? ⢠? â¼â¼*[?,?] â¡ ? ) |
- delift_lift delift_tpss delift_ltpss delift_delift |
-
-
- |
-
+ |
|
-
-
-
+ | cpss ( ? ⢠? â¶* ? ) |
+ cpss_lift |
+
|
- partial unfold |
- ltpss_sn ( ? ⢠â¶*[?,?] ? ) |
- ltpss_sn_alt ( ? ⢠â¶â¶*[?,?] ? ) |
- ltpss_sn_ldrop ltpss_sn_tps ltpss_sn_tpss ltpss_sn_ltpss_sn |
|
@@ -940,11 +1028,9 @@
|
-
-
- |
- ltpss_dx ( ? â¶*[?,?] ? ) |
- ltpss_dx_ldrop ltpss_dx_tps ltpss_dx_tpss ltpss_dx_ltpss_dx |
+ iterated structural successor for closures |
+ fsups ( â¦?,?⦠â* â¦?,?⦠) |
+ fsups_fsups |
|
@@ -962,38 +1048,8 @@
|
- tpss ( ? ⢠? â¶*[?,?] ? ) |
- tpss_alt ( ? ⢠? â¶â¶*[?,?] ? ) |
- tpss_lift |
- tpss_tpss |
-
-
- |
-
-
-
-
- |
- generic local env. slicing |
- ldrops ( â©*[?] ? â¡ ? ) |
- ldrops_ldrop ldrops_ldrops |
-
-
- |
-
-
- |
-
-
- |
-
-
-
-
- |
- iterated restricted structural predecessor for closures |
- frsups ( â¦?,?⦠â§* â¦?,?⦠) |
- frsups_frsups |
+ fsupp ( â¦?,?⦠â+ â¦?,?⦠) |
+ fsupp_fsupp |
|
@@ -1008,11 +1064,9 @@
|
-
-
- |
- frsupp ( â¦?,?⦠â§+ â¦?,?⦠) |
- frsupp_frsupp |
+ generic local env. slicing |
+ ldrops ( â©*[?] ? â¡ ? ) |
+ ldrops_ldrop ldrops_ldrops |
|
@@ -1073,10 +1127,12 @@
- substitution |
- parallel substitution |
- tps ( ? ⢠? â¶[?,?] ? ) |
- tps_lift tps_tps |
+ relocation |
+ structural successor for closures |
+ fsup ( â¦?,?⦠â â¦?,?⦠) |
+
+
+ |
|
@@ -1110,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 |
|
@@ -1136,25 +1192,6 @@
-
-
-
- |
- restricted structural predecessor for closures |
- frsup ( �,?⦠⧠�,?⦠) |
-
-
- |
-
-
- |
-
-
- |
-
-
- |
-
@@ -1270,7 +1307,7 @@
| lenv_weight ( â¯{?} ) |
lenv_length ( |?| ) |
lenv_append ( ? @@ ? ) |
- lenv_px lenv_px_bi |
+ lenv_px lenv_px_sn lenv_px_bi |
@@ -1361,6 +1398,6 @@
- Last update: Mon, 18 Mar 2013 20:23:14 +0100
+ Last update: Sat, 20 Apr 2013 21:34:40 +0200
|