1.1 --- a/docs/concepts.txt Mon Mar 10 23:10:14 2014 +0100
1.2 +++ b/docs/concepts.txt Mon Mar 10 23:12:41 2014 +0100
1.3 @@ -5,11 +5,11 @@
1.4
1.5 * Namespaces and attribute definition
1.6 * Attribute usage observations
1.7 + * Active code deduction
1.8 * Imports and circular import detection
1.9 * Contexts and values
1.10 * Tables, attributes and lookups
1.11 * Parameters and lookups
1.12 - * List and tuple representations
1.13
1.14 Namespaces and Attribute Definition
1.15 ===================================
1.16 @@ -98,6 +98,16 @@
1.17 and class definition "locals" can be reliably employed in attribute usage
1.18 observations.
1.19
1.20 +Active Code Deduction
1.21 +=====================
1.22 +
1.23 +With information about the attributes provided by each object, it becomes
1.24 +possible to deduce which code is active and which code is unused in a program.
1.25 +This process involves the collection of attribute references, the
1.26 +identification of currently unused objects, and the propagation of this new
1.27 +object information to parts of the program where attribute usage may now
1.28 +involve such objects.
1.29 +
1.30 Imports and Circular Import Detection
1.31 =====================================
1.32