CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Efficient and Compositional Evaluation of Untyped Expressions

Emil Axelsson (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
Trends in Functional Programming (2014)
[Konferensbidrag, övrigt]

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.




Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2014-11-24. Senast ändrad 2015-01-12.
CPL Pubid: 206383