WG211/M8Cook

Online Partial Evaluation of Model Interpreters in Java

William Cook

I'll about my ongoing work to implement model compilers by partial evaluation of model interpreters. My team is now building a new online partial evaluator for Java. It is implemented in JastAdd and support supercompilation. I will discuss our current status and experiments applying the system to the ModelTalk and WebDSL modeling languages.