cognitive psychology. PhD 
Are there any good frameworks/papers/etc. for source-to-source optimizing-compiler passes? e.g. copy propagation, dead code elimination but for ASTs instead of IRs.
-
Polyglot (a java source-to-source compiler) has some limited support for this sort of thing. cf:https://github.com/polyglot-compiler/polyglot/blob/master/src/polyglot/visit/CopyPropagator.java …
Ah great! Seems like they build a control-flow graph on the AST, then do data-flow analysis on the CFG with a transfer function defined over AST nodes (https://github.com/polyglot-compiler/polyglot/blob/master/src/polyglot/visit/CopyPropagator.java#L379-L463 …). Then they transform the AST with the output of dataflow using visitors (https://github.com/polyglot-compiler/polyglot/blob/master/src/polyglot/visit/CopyPropagator.java#L484-L519 …).
-
-
Yeah Polyglot is great. A lot of stuff I did in grad school was based on it. You might also be interested in https://people.seas.harvard.edu/~chong/accrue.html … which is built on Polyglot
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.