Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

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.