Changes between Version 4 and Version 5 of Pointers

Timestamp:

11/11/13 09:40:00 (13 years ago)

Author:

siegel

Comment:

--

Pointers

@@ -234 +234 @@
 }
 }}}
+
+== Implementation ==
+
+I don't think it's possible to implement the scope-parameterized constructs by translating the program to one without the scope parameters.
+
+The reason is that if there is a cycle in the call graph, you may need an infinite number of non-scope-parameterized procedures.
+Here is an example.
+
+Original program outline:
+{{{
+| <t1> void f(int *<t1> x);
+| | scope s1
+| | g<s1>(...)
+| <t2> void g(int *<t2> y);
+| | scope s2
+| | f<s2>(...)
+| main() { f<s0>(...); }
+}}}
+
+Attempt to expand scope-parameterized procedures statically:
+
+{{{
+| f0(s0)
+| | scope s1.0
+| | g<s1.0>
+| g0(s1.0)
+| | scope s2.0
+| | f<s2.0>
+| f2(s2.0)
+| | scope s1.1
+| | g<s1.1>
+| g1
+etc.
+}}}
+