Implementation of higher-order narrowing in a high-level meta-level system
Yüksek mertebe daraltmanın yüksek-düzey meta-düzey bir sistemde gerçeklemesi
- Tez No: 76540
- Danışmanlar: DOÇ. DR. CEM SAY
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Programlama dilleri, Yüksek mertebe daraltma, Programming languages, Higher order narrowing
- Yıl: 1998
- Dil: İngilizce
- Üniversite: Boğaziçi Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
ÖZET Yüksek mertebe daraltma, yüksek mertebe birleştirmeyi denklemsel uslamlamada kullanan bir tekniktir. Bu tezde, yüksek mertebe mantık programlama dili L? çerçevesinde yüksek mertebe daraltmanın tasarımı ve gerçeklemesi sunulmaktadır. Bizim araştırmamızın önceki çalışmalardan ana farkı, bizim yeni meta-programlama tekniklerini yüksek-düzey meta-düzey bir sistemde geliştirmemizdir. Bu yaklaşım, programcıyı bir çok hasaplamayı gerçeklemeden kurtarır ve sonuç olarak gerçekleme problemini programlamacının bakış açısından basitleştirir. Bizim çalışmamız, yüksek mertebe daraltmanın ilk elle tutulur gerçeklemesidir.
Özet (Çeviri)
IV ABSTRACT Higher-order narrowing is a technique which exploits higher-order unification in equational reasoning. We present the design and the implementation of higher-order narrowing in the framework of the higher-order logic programming language L*.. The main difference between our research and previous work is that we develop new meta- programming techniques in a high-level meta-level system. This approach frees the programmer from implementing most of the computations and as a result significantly simplifies the implementation problem from the programmer's point of view. Our work is the first concrete implementation of higher-order narrowing.
Benzer Tezler
- Ses eğitiminin solo ve toplu çalışmalarındaki tarihsel gelişimi ve önemi
Başlık çevirisi yok
FİKRET ESRA GÜLER
- Video destekli temiz aralıklı kateterizasyon eğitiminin hastaların uygulama becerisi ve öz güveni üzerine etkisi
The effect of video assisted clean intermittent catheterization training on patients' practical skills and self-confidence
YELİZ ÇULHA
Doktora
Türkçe
2022
Hemşirelikİstanbul Üniversitesi-CerrahpaşaHemşirelik Esasları Ana Bilim Dalı
PROF. DR. RENGİN ACAROĞLU
- The implementation of differentiated instruction in higher education EFL classrooms
Farklılaştırılmış öğretimin yüksek öğretim İngilizce sınıflarında uygulanması
CANAN ŞABAN
Doktora
İngilizce
2020
Eğitim ve ÖğretimBahçeşehir Üniversitesiİngiliz Dili Eğitimi Ana Bilim Dalı
PROF. DR. DERİN ATAY
- Finite element analysis of structural problems with functionally graded material using higher order elements
Yüksek dereceli elemanlar kullanarak fonksiyon kademeli malzemeye sahip yapısal problemlerin sonlu eleman analizleri
HANAN AL-IMAM
Yüksek Lisans
İngilizce
2017
İnşaat MühendisliğiYıldız Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
Assist. Prof. Dr. SERKAN BEKİROĞLU
- Identification and equalization of fading channels using higher-order statistics and cyclostationarity
Başlık çevirisi yok
BURAK GÖKMEN
Yüksek Lisans
İngilizce
1997
Elektrik ve Elektronik MühendisliğiBoğaziçi ÜniversitesiDOÇ. DR. AYŞIN ERTÜZÜN