Understanding Programming Languages (2021-Cliif B. Jones, 229 hal)

Deskripsi

Pengarang: Cliff B. Jones

Penerbit: Springer, Tahun: 2021

ISBN: 9783030592561,9783030592578

Keterangan:

Buku ini membahas tentang pengertian bahasa pemrograman. Penulis mengajarkan keterampilan menulis deskripsi semantik sebagai cara yang efisien untuk memahami fitur bahasa. Sementara kompiler atau juru bahasa menawarkan bentuk deskripsi formal suatu bahasa, itu bukan sesuatu yang dapat digunakan sebagai dasar untuk penalaran tentang bahasa itu juga tidak dapat berfungsi sebagai definisi bahasa pemrograman itu sendiri karena ini harus memungkinkan rentang dari implementasi. Dengan menulis semantik formal suatu bahasa, seorang desainer dapat menghasilkan deskripsi yang jauh lebih pendek dan menguraikan, menganalisis, dan merekam pilihan desain.

Di awal buku, penulis memperkenalkan notasi sederhana, meta-bahasa, yang digunakan untuk merekam deskripsi semantik bahasa. Dalam pendekatan praktis, ia mempertimbangkan lusinan masalah yang muncul dalam bahasa pemrograman saat ini dan teknik utama yang harus dikuasai untuk menulis deskripsi semantik formal yang diperlukan. Buku ini diakhiri dengan diskusi tentang delapan tantangan utama: membatasi bahasa (representasi konkret), membatasi konten abstrak suatu bahasa, merekam semantik (bahasa deterministik), semantik operasional (non-determinisme), ketergantungan konteks, berbagi pemodelan, pemodelan konkurensi, dan keluar pemodelan.

Kontennya telah teruji di kelas dan cocok untuk program sarjana dan pascasarjana tahun terakhir. Ini juga cocok untuk setiap desainer yang ingin memahami bahasa secara mendalam. Sebagian besar bab menawarkan proyek, beberapa di antaranya latihan lanjutan yang meminta deskripsi lengkap tentang bahasa, dan buku ini didukung seluruhnya dengan petunjuk untuk bacaan dan sumber lebih lanjut. Sebagai prasyarat, pembaca harus mengetahui setidaknya satu bahasa tingkat tinggi imperatif dan memiliki pengetahuan tentang notasi matematika diskrit untuk logika dan teori himpunan.