Section: New Results

Crumbling Abstract Machines

Participants : Beniamino Accattoli, Andrea Condoluci, Claudio Sacerdoti Coen.

This joint work with Giulio Guerrieri (Post-doc at Bath University) [26] studies a new compilation technique for functional programs, dubbed crumbling and resembling the transformation into administrative normal form of Flanagan, Sabry, Duba, and Felleisen. It is shown that it simplifies the design of abstract machines without altering the complexity of the overhead. Moreover, it smoothly scales up to open terms and it does not suffer of the slowdowns of administrative normal forms pointed out by Kennedy.