Automatic program transformation and specialization

El objetivo de la transformación de programas consiste en derivar un programa semánticamente equivalente a otro programa inicial pero con mejor comportamiento para algunas propiedades (e.g. eficiencia). La evaluación parcial (EP) es una técnica de transformación de programas que genera versiones especializadas de un programa con respecto a unas determinadas entradas. En nuestro grupo hemos realizado trabajos pioneros en este campo. Por ejemplo, hemos desarrollado un transformador de programas LF basado en reglas+estrategias y algoritmos refinandos de control de EP para este tipo de lenguajes. También se han definido técnicas de transformación para programas lógicos multiadjuntos y estudiado sus propiedades formales.


WordPress Bakım Modu Eklentisi Kayseri Escort Samsun Escort Gaziantep Escort Bayan Eskisehir Escort Beylikdüzü Escort Bayan Eskisehir Escort Samsun Escort Gaziantep Escort Malatya Escort Antalya Escort Beylikdüzü Escort Mersin Escort Bursa Escort Bayan Bursa Escort Escort Antalya Beylikdüzü Escort Bursa Escort Escort Gaziantep Escort Kayseri Escort Escort Beylikdüzü Alanya Escort Alanya Escort Adana Escort Malatya Escort Bayan Alanya Escort Konya Escort Bodrum Escort Kuşadası Escort Hatay Escort Gaziantep Escort Adana Escort Bursa Escort instagram takipçi instagram takipçi hilesi instagram beğeni satın al instagram free followers 2018 youtube takipçi hilesi panelinsta free followers for instagram instagram takipçi instagram takipçi satın al instagram free followers free instagram followers instagram takipçi kasma instagram beğeni hilesi cheat follower for instagram instagram giriş instagram free follower instagram takipçi free followers for instagram instagram takipçi instagram free followers instagram takipçi satın al free instagram followers instagram takipçi kasma instagram beğeni hilesi cheat follower for instagram instagram giriş instagram free follower hacklink satış istanbul evden eve nakliyat hacklink panel Indoxploit Shell hacklink panel instagram takipçi hilesi hacklink satış hacklink wso shell hacklink satış kadıköy sex shop iddaa tahminleri istanbul escort istanbul escort
wso shell IndoXploit shell webr00t shell hacklink hacklink satış wso shell