A Partial evaluator and post-optimizer for a flow chart language


Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Orta Doğu Teknik Üniversitesi, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümü, Türkiye

Tezin Onay Tarihi: 1997

Tezin Dili: İngilizce

Öğrenci: Levent Erkök

Danışman: Halit Oğuztüzün

Özet:

oz AKIŞ ŞEMASI TİPİ BİR DİL İÇİN BİR KISMİ HESAPLAYICI VE EN İYİLEYİCİ Erkök, Levent Yüksek Lisans, Bilgisayar Mühendisliği Bölümü Tez Yöneticisi: Yrd. Doç. Dr. Halit Oğuztüzün Temmuz 1997, 137 sayfa Bu tez çalışmasında, kısmi hesaplama ve en iyileme teknikleri incelenmiş ve bu fikirler akış şeması tipi bir dil üzerinde uygulanarak ILPOS isimli bir sistem ile ortaya konmuştur. Program özelleştirme ve en iyileme teknikleri, gereksiz pro gram parçacığı yok edilmesi ve program ufaltılması konuları tartışılmıştır. Eksik tanımlamaların durumu ve bunların kısmi hesaplama içersindeki durumları ince lenmiş ve ILPOS tarafından kullanılan metod açıklanmıştır. Kısmi hesaplamada program sonlanması problemi ve çözümü incelenmiştir. Anahtar Kelimeler: Kısmi Hesaplama, Program Özelleştirme ve En iyileme, Pro gram Sonlanması. iv