2016 September 15.
@@ -366,7 +372,7 @@
rt-transition |
t-bound context-sensitive rt-transition |
lfpr ( â¦?,?⦠⢠â¡[?,?] ? ) |
- lfpr_length lfpr_drops lfpr_fqup lfpr_lfpx lfpr_lfpr |
+ lfpr_length lfpr_drops lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr |
|
@@ -412,7 +418,7 @@
uncounted context-sensitive rt-transition |
lfpx ( â¦?,?⦠⢠â¬[?,?] ? ) |
- lfpx_length lfpx_drops lfpx_fqup |
+ lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_aaa |
|
@@ -494,9 +500,9 @@
|
- restricted ref. for local env. |
- lsubr ( ? â« ? ) |
- lsubr_length lsubr_drops lsubr_lsubr |
+ equivalence for closures on referred entries |
+ ffeq ( �,?,?⦠⡠�,?,?⦠) |
+ ffeq_freq |
|
@@ -508,9 +514,9 @@
|
- equivalence for closures on referred entries |
- ffeq ( �,?,?⦠⡠�,?,?⦠) |
- ffeq_freq |
+ equivalence for local environments on referred entries |
+ lfeq ( ? â¡[?] ? ) |
+ lfeq_length lfeq_lreq lfeq_fqup lfeq_lfeq |
|
@@ -522,9 +528,9 @@
|
- equivalence for local environments on referred entries |
- lfeq ( ? â¡[?] ? ) |
- lfeq_length lfeq_lreq lfeq_fqup lfeq_lfeq |
+ generic extension on referred entries |
+ lfxs ( ? ⦻*[?,?] ? ) |
+ lfxs_length lfxs_drops lfxs_fqup lfxs_lfxs |
|
@@ -536,9 +542,9 @@
|
- generic extension on referred entries |
- lfxs ( ? ⦻*[?,?] ? ) |
- lfxs_length lfxs_drops lfxs_fqup lfxs_lfxs |
+ restricted ref. for context-sensitive free variables |
+ lsubf ( â¦?,?⦠â«ð
* �,?⦠) |
+ lsubf_frees |
|
@@ -552,7 +558,21 @@
context-sensitive free variables |
frees ( ? ⢠ð
*�⦠⡠? ) |
- frees_weight frees_lreq frees_drops frees_frees |
+ frees_weight frees_lreq frees_drops frees_fqup frees_fqus frees_frees |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+ restricted ref. for local env. |
+ lsubr ( ? â« ? ) |
+ lsubr_length lsubr_drops lsubr_lsubr |
|
@@ -863,6 +883,6 @@
- Last update: Thu, 15 Sep 2016 17:33:01 +0200
+ Last update: Thu, 19 Jan 2017 19:22:38 +0100