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: Piaget, Programlama dilleri, Piaget, Programming languages
- 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ı: Belirtilmemiş.
Ö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İ
- Ç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
- Çevresel etki değerlendirme bilgi sistemi tasarımı ve gerçekleştirilmesi pilot projesi (ÇEDBİS)
Başlık çevirisi yok
OZAN ARSLAN
- Fraktal geometri ve hidrolik pürüzlülük
The Fractal geometry and the hydraulic roughness
SAİT ALANSATAN
- Kent bilgi sistemlerinin tasarımı ve gerçekleştirilmesi: Ankara kent bilgi sistemi oluşturma çalışması
Başlık çevirisi yok
ATİLLA KOPAR