Vi presenterar en polyvariant stängning, säkerhet, och bindningstid analys för den otypade lambda kalkyl. Innovationen är att analysera varje abstraktion på nytt vid alla syntaktiska tillämpningspunkter. Detta uppnås genom en semantik-bevarande program transformation följt av en ny monovariant analys, uttryckt med hjälp av typ begränsningar. Begränsningarna löses i kubiktid genom en enda beräkning med fasta punkter. Syftet med säkerhetsanalysen är att fastställa om en term kommer att orsaka ett fel under utvärderingen. Vi har nyligen visat att den monovarianta säkerhetsanalysen accepterar strikt fler termer än enkla typslutsatser. Detta dokument visar att polyvariant omvandlingen gör ännu fler termer acceptabla, även vissa utan högre-order polymorfa typer. Dessutom kan multivariant bindningstidsanalys förbättra de partiella utvärderare som baserar en polyvariant specialisering på endast monovariant bindningstid analys.
I REF ges en begränsningsbaserad slutanalys av den otypade lambdakalkylen.
Polyvariant Analysis of the Untyped Lambda Calculus
{'venue': 'DAIMI Report Series', 'journal': 'DAIMI Report Series', 'mag_field_of_study': ['Mathematics']}