00/040 - Un método y sistema para la optimización de programas multiparadigma por transformación automática

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. // A method and system for the optimisation of multi-paradigm programmes by automatic transformation.This invention refers to a method and automatic system of specialization of programmes that is used to optimise programmes that integrate functions, logic of predicates and concurrence. The method consists both of the preservation of operational behaviour of the programme to specialize and of the effectiveness of the transformation, that is, the increase in efficiency of the programmes transformed.

Ficha técnica

Tipo de tecnología PATENTE
Inventores Germán Francisco Vidal Oriola, María Alpuente Frasnedo, Elvira María Albert Albiol
Estado de protección Nacional: P9902055 - 09/09/1999
Texto de la patente http://lp.espacenet.com/publicationDetails/biblio?CC=ES&NR=2166279A1#&KC=A1#&DB=lp.espacenet.com&locale=es_LP
Responsable Alpuente Frasnedo, María