Type-based Cost Analysis for Lazy Functional Languages

This web interface allows experimenting with a type-based static analysis for predicting cost upper-bounds for a minimal lazy functional language. The analysis employs amortisation and an effect system for dealing with higher-order and co-recursive definitions. The principles behind this implementation are described in a journal publication; a draft PDF is available from the my home page.

To begin, select one example and click 'Run Analysis'. You may also choose a diferent cost model, modify the program or type in your own example.

Choose an example: Cost model:

Pedro Vasconcelos, pbv@dcc.fc.up.pt
LIACC / Departamento de Ciencia de Computadores
Faculdade de Ciencias, Universidade do Porto.