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.


sisli escort 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ış instagram beğeni hilesi istanbul escort istanbul escort Cami Halısı Cami Halısı çiğköfte bayilik Promosyon ürünleri Cami Halısı beylikdüzü escort ankara escort Ankara escort Kadıköy Escort Ankara Escort Esenyurt Escort esenyurt escort Kurtköy Escort Beylikdüzü Escort Bayan Türkçe Altyazılı Porno izmir escort bayan Bahçeşehir Escort ankara escort ankara escort istanbul escort bayan Ankara escort bayan Ankara Escort Escort Beylikdüzü Ankara Escort Ankara Escort Beylikdüzü Escort Bahçeşehir Escort Bayan X.net İstanbul Escort Bayan Ankara Escort Bayan izmir escort Beylikdüzü Escort Atasehir escort Ankara Escort Kurtköy Escort Antalya escort Kurtköy Escort Keçiören Escort
wso shell IndoXploit shell webr00t shell hacklink hacklink satış wso shell