Text
Practical Aspects of Declarative Languages; 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
Bahasa deklaratif dibangun di atas dasar teori yang kuat untuk menyediakan kerangka kerja yang menarik untuk pengembangan aplikasi. Bahasa-bahasa ini telah berhasil diterapkan pada banyak situasi dunia nyata yang berbeda, mulai dari manajemen basis data hingga jaringan aktif hingga rekayasa perangkat lunak hingga sistem pendukung keputusan. Perkembangan baru dalam teori dan implementasi telah membuka bidang aplikasi baru. Pada saat yang sama, penerapan bahasa deklaratif pada masalah baru memunculkan banyak masalah penelitian yang menarik. Pertanyaan terkenal termasuk merancang untuk skalabilitas, ekstensi bahasa untuk penerapan aplikasi, dan lingkungan pemrograman. Dengan demikian, aplikasi mendorong kemajuan dalam teori dan implementasi sistem deklaratif, dan juga memanfaatkan kemajuan ini. PADL adalah wadah bagi para peneliti dan praktisi untuk mempresentasikan karya orisinal yang menekankan aplikasi baru dan teknik implementasi untuk semua bentuk konsep deklaratif, termasuk, fungsional, logika, kendala, dll. Volume ini berisi makalah yang dipresentasikan pada PADL 2015: Simposium Internasional ke-17 tentang Aspek Praktis Bahasa Deklaratif yang diadakan selama 18-19 Juni 2015, di Portland, Oregon (AS). Awalnya didirikan sebagai lokakarya (PADL 1999 di San Antonio, Texas), seri PADL berkembang menjadi simposium tahunan reguler; edisi sebelumnya berlangsung di San Antonio, Texas (1999), Boston, Massachusetts (2000), Las Vegas, Nevada (2001), Portland, Oregon (2002), New Orleans, Louisiana (2003), Dallas, Texas (2004), Pantai Panjang, California (2005), Charleston, Karolina Selatan (2006), Nice, Prancis (2007), San Francisco, California (2008), Savannah, Georgia (2009), Madrid, Spanyol (2010), Austin, Texas (2012), Roma, Italia (2013), dan San Diego, California (2014). PADL 2015 diselenggarakan oleh Association for Logic Programming (ALP), bekerja sama dengan Panitia Penyelenggara acara yang berlokasi bersama di Konferensi Riset Komputasi Federasi ACM 2015, Departemen Ilmu Komputer di Universitas Negeri New Mexico, dan Departemen Ilmu Komputer di University of Texas di Dallas. Acara ini mendapat sponsor besar dari Association for Logic Programming, Universitas Negeri New Mexico, dan National Science Foundation. Panitia juga berterima kasih atas dukungan kerjasama dari ACM SIGPLAN. Banyak orang berkontribusi pada keberhasilan konferensi, kepada siapa kami ingin mengucapkan terima kasih yang tulus. Para anggota Panitia Program memberikan bantuan yang sangat berharga dalam proses pemilihan makalah dan pengembangan program konferensi. Banyak wasit menginvestasikan waktu berjam-jam untuk membaca kiriman dan memberikan ulasan profesional. Last but not least, kami ingin menyampaikan terima kasih yang tulus kepada semua penulis yang mengirimkan kontribusi penelitian mereka yang luar biasa ke konferensi tersebut.
No copy data
No other version available