Deskripsi Lengkap :: Kembali

UI - Skripsi (Open) :: Kembali

UI - Skripsi (Open)

Implementasi algoritma principal type dan algoritma type inhabitant dari type theory TA-Lambda menggunakan definite clause grammar daalam prolog

Nomor Panggil S-pdf
Subjek
Penerbitan [Place of publication not identified]: Fakultas Ilmu Komputer Universitas Indonesia, 2008
Kata Kunci :  
 Info Lainnya
Kode Bahasa ind
Sumber Pengatalogan none
Tipe Konten none
Tipe Media none
Tipe Carrier none
Deskripsi Fisik xv, 282 lembar; il; lamp; 29 cm.
Catatan Bibliografi
Naskah Ringkas
Lembaga Pemilik Universitas Indonesia
Lokasi Perpustakaan FASILKOM UI
  • Ketersediaan
  • File Digital: 8
  • Ulasan
  • Sampul
  • Abstrak
Nomor Panggil No. Barkod Ketersediaan
S-pdf TERSEDIA
Ulasan:
Tidak ada ulasan pada koleksi ini: 123777
Studi tentang type theory telah memberikan kontribusi penting dalam dunia ilmu komputer, terutama dalam rekayasa perangkat lunak, basis data, computational linguistics, desain bahasa pemrograman, automated theorem proving, high performance compiler
dan keamanan jaringan komputer. Tugas akhir ini berfokus pada varian type theory yang disebut Type Assignment (TA). Kontribusi dari tugas akhir ini terdiri dari tiga hal pokok. Pertama, algoritma Principal Type (PT) dan pencarian type inhabitant diimple- mentasikan dalam PROLOG dengan menggunakan Denite Clause Grammar (DCG).
Hasil implementasi ini dapat dipakai untuk mencari tipe dari sebuah x-term dan juga sebaliknya, mencari inhabitant (berupa x-term) dari sebuah tipe. Kedua, seluk-belum TA, terutama algoritma PT dan pencarian type inhabitant, dipaparkan dengan bahasa yang lebih mudah dimengerti dibandingkan literatur yang sudah ada. Ketiga, sebuah antarmuka grafs dibangun untuk memudahkan user dalam menggunakan (mencoba) kedua algoritma tersebut. Dengan demikian, software ini bisa digunakan sebagai testbed untuk mempelajari TA, maupun untuk bereksperimen dalam type theory.