Geri Dön

Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus

Başlık çevirisi mevcut değil.

  1. Tez No: 55339
  2. Yazar: ALİ SALEM AOUN
  3. Danışmanlar: PROF.DR. ŞEREF MİRASYEDİOĞLU
  4. Tez Türü: Doktora
  5. Konular: Matematik, Mathematics
  6. Anahtar Kelimeler: Lambda kuramı, Operatörler, Type kuramı, Lambda theory, Operators, Type theory
  7. Yıl: 1996
  8. Dil: Türkçe
  9. Üniversite: Hacettepe Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Belirtilmemiş.
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: Belirtilmemiş.

Özet

IV ÖZET Bu araştırmada type kuramında paralel ve deterministik olmayan lambda kuramı için arakesit ve bileşim type'lan ile birlikte type türetiminin ilkelerinin tasarımı araştınlmıştır. Paralel (//) ve deterministik olmayan (+) operatörleri içeren lambda kuramının analizi arakesit ve bileşim type operatörleri ile type değerbağlama sistemi [M. Dezani-Ciancaglini et al. '94] ve [M. Dezani- Ciancaglini et al. 96] çalışmaları ile verilmiştir. Bu tezde [Margaria et al.'95] ve [M. Dezani- Ciancaglini et al. 96] makalelerine dayalı paralel ve deterministik olmayan lambda kuramı için type türetim algoritması gerçeUeştirilmiştir.

Özet (Çeviri)

ABSTRACT The aim of this work is mainly to study the principal type-schemes for terms of a parallel and non-deterministic Lambda Calculus in a type discipline which allows intersection and union types. In pVL Dezani-Ciancaglini et aL'93], {M. Dezani- Ciancaglini et aL'94] and [M. Dezani-Ciancaglini et al.96a] an analysis of a X,- calculus containing a parallel (|[) and a non-deterministic operator (+) was carried out by means of type assignment system whose types contain the intersection and union type constructors. In this thesis we address the principal typing problem for this system. An essential use will be made of the notion of approximate and its properties, as described in [M. Dezani-Ciancaglini et aL'96a]. Also the approach that was given in [Margaria et al'95] will be used for deriving all the possible types of a term from the principal one.

Benzer Tezler

  1. Tez No

    100579

    Bulanık kontrol sistemlerinde kararlılık

    Stability of fuzzy control systems

    İLKER ÜSTOĞLU

    Yüksek Lisans

    Türkçe

    Türkçe

    1999

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

    DOÇ.DR. MÜJDE GÜZELKAYA

  2. Tez No

    46436

    Bir bulanık uzman sistem kabuk prototipi

    A Fuzzy expert system shell prototype

    HAKAN SARIBIK

    Yüksek Lisans

    Türkçe

    Türkçe

    1995

    Mühendislik Bilimleriİstanbul Teknik Üniversitesi

    DOÇ.DR. GAZANFER ÜNAL

  3. Tez No

    39313

    Veri akış denklemlerinin çözümü ile kod optimizasyonu

    Code optimization by solving data flow equations

    EROL AKARSU

    Yüksek Lisans

    Türkçe

    Türkçe

    1993

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

    DOÇ.DR. NADİA ERDOĞAN

  4. Tez No

    84340

    Sıralı yargı gruplar üzerindeki idealler latisi

    Lattices of ideals on ordered semigroups

    KUBİLAY DOĞAN

    Yüksek Lisans

    Türkçe

    Türkçe

    1999

    Eğitim ve ÖğretimMarmara Üniversitesi

    Matematik Eğitimi Ana Bilim Dalı

    PROF. DR. FETHİ ÇALLIALP

  5. Tez No

    75360

    Ulaştırma problemlerinde bulanık optimizasyon

    Başlık çevirisi yok

    İSMAİL ÖZDABAN

    Yüksek Lisans

    Türkçe

    Türkçe

    1998

    Endüstri ve Endüstri Mühendisliğiİstanbul Teknik Üniversitesi

    Endüstri Mühendisliği Ana Bilim Dalı

    DOÇ. DR. COŞKUN ÖZKAN

Geri Dön