Definition and verification of an object oriented functional language
Piaget nesne yönelimli fonksiyonel bir dilin tanımı ve sağlanması
- Tez No: 24458
- Danışmanlar: PROF. DR. SELAHATTİN KURU
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 1992
- Dil: İngilizce
- Üniversite: Boğaziçi Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Belirtilmemiş.
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 142
Özet
IV PIAGET: NESNE YÖNELİMLİ FONKSİYONEL BİR DİLİN TANIMI VE SA?LANMASI Piaget nesne yönelimli fonksiyonel bir dildir. Piaget, Henson [1] tarafından önerilen bir dilin uzantısıdır. Henson'ın dili fonksiyonel ve başvuruca şeffaftır (hiçbir değişken değerini değiştiremez). Piaget dili Henson'in dilinin Özelliklerini korur ve onu nesne yönelimli olarak genişletir. Nesne yönelimli ekler, çalışırken yöntem belirleme, bilgi soyutlama ve soya çekimdir. Henson'ın dilinin sentaksına ayrıca C++ dilinin işlemcileri ve işlemcileri yeniden tanımlama özelliği de eklenmiştir. UNIX işletim sisteminin derleyici kurma gereçleri olan yacc ve lex ile derleyerek, elde edilen sentaksın belirli olduğu gösterilmiştir. Yazı boyunca verilen örnekler, yacc ve lexin ürettiği bir ayrıştıncı ile sağlanmıştır. Dilin formal ve formal olmayan tanımları verilmektedir. Dilin formal tanımı da Henson'ın dilininkinin bir uzantısıdır. Formal tanımlardaki ekler Henson'ın yöntemlerini izleyerek doğrulanmıştır. Nesne yönelimli eklerin tanımları sadece Henson' un dilinde olan yapılarla verilmiştir. Piaget dilinin basitliğini ve gücünü göstermek için bazı örnek yazılımlar, Henson'un dilindeki ve başka dillerdekilerle karşılaştırılmışım
Özet (Çeviri)
Ill P1AGET: DEFINITION AND VERIFICATION OF AN OBJECT ORIENTED FUNCTIONAL LANGUAGE The Piaget language is an object-oriented functional language. It is an extension of a language proposed by Henson [1]. Henson's language is functional and referentially transparent (no variable can change its value during execution). The Piaget language keeps the properties of Henson's language and extens it to be object-oriented. The object- oriented extensions are, namely, runtime method determination, data abstraction, and inheritance. The syntax of Henson's language is also extended to have the operators and operator redefinition facility of the C++ language. The final syntax is verified to be unambiguous by compiling the syntax with yacc and lex, which are the compiler construction utilities of the UNIX operating system. The example programs given throughout the text are checked by a parser generated by yacc and lex. An informal and a formal definition of the language are presented. The formal definition of the language is also an extension of the formal definition of Henson's language. Extensions on the formal definitions are verified following the methods used by Henson. Informal definitions of the object-oriented extensions are purely in terms of already existing constructs in Henson's language. Some example programs are compared with the ones written in Henson's language and other languages to illustrate the power and simpilcity of the Piaget language.
Benzer Tezler
- Sanal mimarlığın gerçeği
Başlık çevirisi yok
CEM YARDIMCI
Yüksek Lisans
Türkçe
1998
Mimarlıkİstanbul Teknik ÜniversitesiMimarlık Ana Bilim Dalı
PROF. DR. HÜLYA YÜREKLİ
- Darbe hasarına maruz kalan sandviç kompozitlerin statik mukavemetinin incelenmesi
Investigation of static strength of sandwich composites subjected to impact damage
ABDULLAH İKİZ
Yüksek Lisans
Türkçe
2023
Havacılık Mühendisliğiİstanbul Teknik ÜniversitesiUçak ve Uzay Mühendisliği Ana Bilim Dalı
PROF. DR. ZAHİT MECİTOĞLU
- Mimari eleştiri metinlerinde parça ve bütün ilişkisinin yapısalcı yöntem ile aranması: Pompidou örneği
Searching the relationship between piece and whole with structuralism as a method in architectural criticism texts: Example of pompidou
ARİF AKTAŞLI
Yüksek Lisans
Türkçe
2020
Mimarlıkİstanbul Teknik ÜniversitesiMimarlık Ana Bilim Dalı
PROF. DR. YÜKSEL DEMİR
- Zeynuddin el-Keşşî'nin Hadaiku'l-Hakâik adlı eserinin mantık bölümünün tasdikler kısmının tahkîki, tercümesi ve önermeler kısmının değerlendirmesi
Edition and translation of logic chapter of Zeynuddin al-Kashshi's Hadaiq al-Haqaiq, and review of the propositions section
ALİ RIZA ŞAHİN
Doktora
Türkçe
2023
FelsefeAnkara ÜniversitesiFelsefe ve Din Bilimleri Ana Bilim Dalı
DOÇ. DR. NECMETTİN PEHLİVAN
- Çok ölçütlü sorun çözümüne yönelik bir bütünleşik karar destek modeli
Integrated decision aid model for multiattribute problem solving
YUSUF İLKER TOPÇU
Doktora
Türkçe
2000
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiPROF. DR. FÜSUN ÜLENGİN