2012 October 16.
@@ -319,7 +334,7 @@
local env. ref. for stratified native validity |
- lsubsv ( ? ⢠? â©:â[?] ? ) |
+ lsubsv ( ? ⢠? ¡â[?] ? ) |
lsubsv_ldrop lsubsv_lsuba lsubsv_ssta lsubsv_dxprs lsubsv_cpcs lsubsv_snv |
@@ -336,7 +351,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 +401,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 |
|
@@ -718,6 +733,42 @@
+
+
+
+ |
+ revised context-sensitive reduction |
+ lpr ( ? ⢠⡠? ) |
+ lpr_ldrop lpr_cpr lpr_lpr |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+
+
+ |
+ cpr ( ? ⢠? ⡠? ) |
+ cpr_lift |
+
+
+ |
+
+
+ |
+
+
+ |
+
@@ -773,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 |
|
@@ -792,7 +843,7 @@
tpr ( ? â¡ ? ) |
- tpr_lift tpr_tps tpr_tpss tpr_delift tpr_tpr |
+ tpr_lift tpr_delift tpr_tpr |
|
@@ -804,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 |
|
@@ -822,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 |
|
@@ -856,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 |
|
@@ -885,10 +991,10 @@
- unfold |
- basic local env. thinning |
- thin ( ? â¼*[?,?] â¡ ? ) |
- thin_ldrop thin_delift |
+ substitution |
+ parallel substitution |
+ lpss ( ? ⢠â¶* ? ) |
+ lpss_ldrop lpss_cpss lpss_lpss |
|
@@ -903,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 |
|
@@ -933,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 |
|
@@ -955,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 |
|
@@ -1001,11 +1064,9 @@
|
-
-
- |
- frsupp ( â¦?,?⦠â§+ â¦?,?⦠) |
- frsupp_frsupp |
+ generic local env. slicing |
+ ldrops ( â©*[?] ? â¡ ? ) |
+ ldrops_ldrop ldrops_ldrops |
|
@@ -1066,10 +1127,12 @@
- substitution |
- parallel substitution |
- tps ( ? ⢠? â¶[?,?] ? ) |
- tps_lift tps_tps |
+ relocation |
+ structural successor for closures |
+ fsup ( â¦?,?⦠â â¦?,?⦠) |
+
+
+ |
|
@@ -1103,7 +1166,7 @@
basic local env. slicing |
ldrop ( â©[?,?] ? â¡ ? ) |
- ldrop_append ldrop_lpx ldrop_sfr ldrop_ldrop |
+ ldrop_append ldrop_lpx ldrop_lpx_sn ldrop_lbotr ldrop_ldrop |
|
@@ -1119,28 +1182,9 @@
local env. ref. for substitution |
- lsubs ( ? â¼[?,?] ? ) |
- (lsubs_lsubs) |
- lsubs_sfr ( â½[?,?] ? ) |
-
-
- |
-
-
- |
-
-
-
-
- |
- restricted structural predecessor for closures |
- frsup ( �,?⦠⧠�,?⦠) |
-
-
- |
-
-
- |
+ lsubr ( ? â[?,?] ? ) |
+ (lsubr_lsubr) |
+ lsubr_lbotr ( â[?,?] ? ) |
|
@@ -1263,7 +1307,7 @@
lenv_weight ( â¯{?} ) |
lenv_length ( |?| ) |
lenv_append ( ? @@ ? ) |
- lenv_px lenv_px_bi |
+ lenv_px lenv_px_sn lenv_px_bi |
@@ -1354,6 +1398,6 @@
- Last update: Fri, 15 Mar 2013 00:12:26 +0100
+ Last update: Sat, 20 Apr 2013 21:34:40 +0200
|