Geri Dön

Schema-based logic program transformation

Taslağa dayalı mantık programı dönüştürme

  1. Tez No: 65004
  2. Yazar: BÜYÜKYILDIZ HALİME
  3. Danışmanlar: YRD. DOÇ. DR. PİERRE FLENER
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: mantıksal programlama, program geliştirme, program dönüştürme, program taslağı, dönüşüm taslağı, genelleme, ikilik kuralları, logic programming, program development, program transforma tion, program schema, transformation schema, generalization, duality laws. iii
  7. Yıl: 1997
  8. Dil: İngilizce
  9. Üniversite: İhsan Doğramacı Bilkent Üniversitesi
  10. Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Belirtilmemiş.
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 165

Özet

ÖZET TASLAĞA DAYALI MANTIK PROGRAMI DÖNÜŞTÜRME Halime Büyükyıldız Bilgisayar ve Enformatik Mühendisliği. Yüksek Lisans Tez Yöneticisi: Yrd. Doç. Pierre Flener Ağustos 1997 Geleneksel programlama metodolojisinde, doğru ve etkili program geliştirme iki aşamaya ayrılır: birinci aşamada, sentez aşaması denir, doğru, fakat yeterince etkili olmayabilen bir program yapılır, ve ikinci aşamada, dönüştürme aşaması denir, yapılan program daha etkili eşdeğer bir programa dönüştürülür. Eğer sentez aşaması belirli bir program ailesinin yapımını özetleyebilen algoritma plan bilgisini içeren program taslağı rehberliğindeyse, dönüştürme aşaması da giren program taslağından çıkan program taslağına tanımlanmış dönüşüm tekniklerini daha etkili eşdeğer bir program elde etmeyi sağlayacak gerekli koşulları tanımlayarak kodlayan dönüşüm taslakları kullanarak yapılabilir. Böl-ve-fethet ve genelleme metodlarını kullanarak sentezlenebilecek program ailelerini temsil eden yedi program taslağı sunuluyor. Sunulan dönüşüm taslakları ya içine birikeç sokmak ve yapısal genellemenin özel bir hali olan Çoğullama genellemesi gibi dönüşüm tekniklerinin otomasyonunu sağlar, ya da fonksiyonel programlamanın temel teoremlerinden birini (fold operatörlerinin ilk ikilik kuralını) mantıksal programlamaya geliştirerek uygular. Sunulan dönüşüm taslaklarını kullanarak program dönüştürebilen prototip bir sistem geliştirilmiştir.

Özet (Çeviri)

ABSTRACT SCHEMA-BASED LOGIC PROGRAM TRANSFORMATION Halime Büyükyıldız M.S. in Computer Engineering and Information Science Supervisor: Ass't Prof. Pierre Flener August 1997 In traditional programming methodology, developing a correct and efficient program is divided into two phases: in the first phase, called the synthesis phase, a correct, but maybe inefficient program is constructed, and in the sec ond phase, called the transformation phase, the constructed program is trans formed into a more efficient equivalent program. If the synthesis phase is guided by a schema that embodies the algorithm design knowledge abstracting the con struction of a particular family of programs, then the transformation phase can also be done in a schema-guided fashion using transformation schemas, which encode the transformation techniques from input program schemas to output program schemas by defining the conditions that have to be verified to have a more efficient equivalent program. Seven program schemas are proposed, which capture sub-families of divide- and-conquer programs and the programs that are constructed using some gen eralization methods. The proposed transformation schemas either automate transformation strategies, such as accumulator introduction and tupling gen eralization, which is a special case of structural generalization, or simulate and extend a basic theorem in functional programming (the first duality law of the fold operators) for logic programs. A prototype transformation system is presented that can transform programs, using the proposed transformation schemas.

Benzer Tezler

  1. Tez No

    347392

    Une analyse structurale du film Angel-A de Luc Besson

    Luc Besson'un Angel-A filminin yapısalcı çözümlemesi

    ZEYNEP BÜŞRA BÖLÜKBAŞI

    Yüksek Lisans

    Fransızca

    Fransızca

    2013

    DilbilimGalatasaray Üniversitesi

    Fransız Dili ve Edebiyatı Ana Bilim Dalı

    YRD. DOÇ. DR. ATİLLA DEMİRCİOĞLU

  2. Tez No

    14246

    Akarsu havzası sistemlerinin planlanması için genel maksatlı bir simülasyon modeli

    A General-purpose simulation model for planning of river basın systems

    DEMİRAY ŞİMŞEK

    Doktora

    Türkçe

    Türkçe

    1990

    İnşaat Mühendisliğiİstanbul Teknik Üniversitesi

    PROF.DR. MEHMETÇİK BAYAZIT

  3. Tez No

    616851

    Kullanıcı odaklı tasarım için bulanık AHS ile bir model önerisi: Poliklinikler üzerinden bir değerlendirme

    A fuzzy AHS model for designing spatial relations in user perspevtive: A research over policlinics

    ASENA KUMSAL ŞEN

    Doktora

    Türkçe

    Türkçe

    2015

    Mimarlıkİstanbul Teknik Üniversitesi

    Mimarlık Ana Bilim Dalı

    PROF. DR. SİNAN MERT ŞENER

  4. Tez No

    58590

    Inductive synthesis of recursive logic programs

    Özyineli mantık programlarının tümevarımsal yolla sentezi

    SERAP YILMAZ

    Yüksek Lisans

    İngilizce

    İngilizce

    1997

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİhsan Doğramacı Bilkent Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. DR. PİERRE FLENER

  5. Tez No

    39284

    Mikrodenetleyiciler için taşınabilir türde merdiven diyagramı C dili dönüştürücüsü ve kullanıcı arayüzü tasarımı

    Design of a portable translator from ladder diagrams to source code in c for microcontrollers

    BİROL ARİFOĞLU

    Yüksek Lisans

    Türkçe

    Türkçe

    1993

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    DOÇ.DR. BÜLENT ÖRENCİK

Geri Dön