Buku akses terbuka ini merupakan hasil dari Simposium Eropa ke-29 tentang Pemrograman, ESOP 2020, yang direncanakan akan diselenggarakan di Dublin, Irlandia, pada bulan April 2020, sebagai Bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2020. Pertemuan ETAPS 2020 yang sebenarnya ditunda karena pandemi Corona. Makalah-makalah tersebut membahas isu-isu menda…
Buku akses terbuka ini merupakan prosiding Simposium Eropa ke-28 tentang Pemrograman, ESOP 2019, yang berlangsung di Praha, Republik Ceko, pada April 2019, yang diadakan sebagai Bagian dari Konferensi Bersama Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2019.
Buku akses terbuka ini merupakan hasil dari Simposium Eropa ke-27 tentang Pemrograman, ESOP 2018, yang berlangsung di Thessaloniki, Yunani pada bulan April 2018, yang diselenggarakan sebagai Bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2018. 36 makalah yang disajikan dalam volume ini ditinjau dengan cermat dan dipilih dari 114 kiriman. Makalah-makalah t…
Panduan Pemrograman ini menjelaskan LISP atau LISt Processing (mengacu pada pemrograman dengan bahasa seperti LISP, yang dirancang untuk pemrosesan daftar), bahasa matematika formal. LISP berbeda dari kebanyakan bahasa pemrograman dalam tiga hal penting. Cara pertama adalah dalam sifat datanya. Bahasa LISP dirancang terutama untuk pemrosesan data simbolik yang digunakan untuk perhitungan simbol…
Panduan ini menggambarkan penggunaan ZPL (Z-level Programming Language, yang merupakan Bahasa Pemrograman Paralel) yang umum dan menjelaskan secara intuitif cara kerja konstruksinya. Penekanannya adalah pada pengajaran kepada pembaca untuk menjadi programmer ZPL. Perhitungan ilmiah digunakan sebagai contoh di seluruh ZPL adalah bahasa pemrograman array baru untuk komputasi sains dan teknik. Dir…
Panduan ini menggambarkan penggunaan ZPL (Z-level Programming Language, yang merupakan Bahasa Pemrograman Paralel) yang umum dan menjelaskan secara intuitif cara kerja konstruksinya. Penekanannya adalah pada pengajaran kepada pembaca untuk menjadi programmer ZPL. Perhitungan ilmiah digunakan sebagai contoh di seluruh ZPL adalah bahasa pemrograman array baru untuk komputasi sains dan teknik. Dir…
Tugas programmer kendala adalah menggunakan kendala matematika untuk memodelkan kendala dan objek dunia nyata. Dalam buku ini, Kim Marriott dan Peter Stuckey memberikan pengantar komprehensif pertama untuk disiplin pemrograman kendala dan, khususnya, pemrograman logika kendala. Buku ini mencakup materi latar belakang yang diperlukan dari kecerdasan buatan, pemrograman logika, riset operasi, dan…
"Tujuan The Reasoned Schemer adalah untuk membantu programmer fungsional berpikir secara logis dan programmer logika berpikir secara fungsional. Penulis The Reasoned Schemer percaya bahwa pemrograman logika merupakan perluasan alami dari pemrograman fungsional, dan mereka menunjukkan hal ini dengan memperluas Skema bahasa fungsional dengan konstruksi logis - dengan demikian menggabungkan manfaa…
Kumpulan penelitian asli ini menyediakan survei komprehensif tentang perkembangan di garis depan pemrograman berorientasi objek konkuren. Buku ini mendokumentasikan kemajuan -- dari konsep umum hingga deskripsi khusus -- dalam desain bahasa pemrograman, alat semantik, sistem, arsitektur, dan aplikasi. Bab-bab ditulis pada tingkat tutorial dan dapat diakses oleh khalayak luas, termasuk peneliti,…
Kumpulan penelitian asli ini menyediakan survei komprehensif tentang perkembangan di garis depan pemrograman berorientasi objek konkuren. Buku ini mendokumentasikan kemajuan -- dari konsep umum hingga deskripsi khusus -- dalam desain bahasa pemrograman, alat semantik, sistem, arsitektur, dan aplikasi. Bab-bab ditulis pada tingkat tutorial dan dapat diakses oleh khalayak luas, termasuk peneliti,…