A method and system for the optimisation of multi-paradigm programmes by automatic transformation

摘要

La presente invención se refiere a un método y sistema automático de especialización de programas que sirve para optimizar programas que integran funciones, lógica de predicados y concurrencia. El método comprende tanto la preservación del comportamiento operacional del programa a especializar, como la efectividad de la transformación, es decir, el incremento de eficiencia de los programas transformados.