CENG 516

İleri Programlama Dilleri

Fonksiyonel ve mantıksal programlama, programlama dili tasarımı kavramları, ve programlar ve programlamlama dilleri ile ilgili formal mantık yürütme.

Dersin Amacı

1. Programlama dillerindeki ana kavramları anlamak.

2. Programlama dillerini analiz etmek ve tasarlamak.

3. Programlama dilleri araştırmalarındaki bazı güncel konuları incelemek.

Kaynakça

B. C. Pierce, Types and Programming Languages , MIT Press, 2002. ,G. Winskel, The Formal Semantics of Programming Languages , MIT Press, 1993.

Learning Outcomes

1. Farklı programlama dillerini anlama, genelleme ve analiz etme.

2. Programlama dillerini tasarlama ve gerçekleştirme.

3. Farklı programlama dillerini karşılaştırma ve değerlendirme.

4. Farklı programlama dilleri ile gerçek dünya problemlerini çözmek.

Konu
Programlama dillerine giriş
Sentaks ve semantik I
Sentaks ve semantik II
Gösterimsel semantik
Yazım teorisi I
Yazım teorisi II
Lambda hesaplama I
Lambda hesaplama II
Fonksiyonlar
Aksiyomatik semantik I
Aksiyomatik semantik II
Program özelliklerini teorik söylemlerle doğrulama
Mantık programlama I
Mantık programlama II

Notlandırma

Vize: 30%

Sunum: 40%

Final: 30%