Efficient and Compositional Evaluation of Untyped Expressions
Konferensbidrag (offentliggjort, men ej förlagsutgivet), 2014

We give an efficient and compositional implementation of evaluation for an untyped representation of expressions. Building on Baars and Swierstra's "Typing Dynamic Typing", all tag checking is deferred to an initial dynamic compilation phase after which evaluation proceeds without any tag checking. The technique lends itself particularly well to a compositional implementation, where parts of the expression are defined separately, and this is also where we see the highest performance gains.

Författare

Emil Axelsson

Chalmers, Data- och informationsteknik, Programvaruteknik

Trends in Functional Programming

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier

Programvaruteknik