Changes between Version 17 and Version 18 of ExplicitCallStack


Ignore:
Timestamp:
Jan 29, 2007 4:33:37 PM (9 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v17 v18  
    9898}}}
    9999
     100=== Transformation option 1 ===
     101
     102This is probably the simplest transformation style possible. Stack traces are passed to functions at their lexical call sites, which correspond to the places where the function is mentioned in the source code. CAF bindings are treated as roots of stacks, so only function bindings receive stack arguments. In this transformation we can get away with simply passing one stack argument for each function, regardless of how many regular arguments it has. In contrast, other transformation styles
     103might pass one stack argument for every regular argument of the function.
    100104
    101105Attached in a pdf are the beginnings of some transformation rules to consider.