Text

Programming Languages and Systems; 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

---

Volume ini berisi prosiding Asian Symposium on Programming Languages and Systems (APLAS 2015) ke-13 yang diadakan di Pohang, Korea, dari tanggal 30 November hingga 2 Desember 2015. APLAS bertujuan untuk merangsang penelitian bahasa pemrograman dengan menyediakan forum untuk presentasi hasil terbaru dan pertukaran ide dalam bahasa dan sistem pemrograman. APLAS berbasis di Asia, tetapi merupakan forum internasional yang melayani komunitas bahasa pemrograman di seluruh dunia. Simposium APLAS sebelumnya berhasil diadakan di Singapura (2014), Melbourne (2013), Kyoto (2012), Kenting (2011), Shanghai (2010), Seoul (2009), Bangalore (2008), Singapura (2007), Sydney (2006), Tsukuba (2005), Taipei (2004), dan Beijing (2003) setelah tiga lokakarya informal. APLAS 2015 mengumpulkan kiriman dalam dua kategori, makalah penelitian reguler dan presentasi sistem dan alat. Topik yang dibahas dalam konferensi ini meliputi, namun tidak terbatas pada, semantik, logika, dan teori dasar; desain bahasa dan kalkuli dasar; bahasa khusus domain; sistem tipe; kompiler, interpreter, dan mesin abstrak; derivasi, sintesis, dan transformasi program; analisis program, batasan, verifikasi, dan pemeriksaan model; keamanan perangkat lunak; konkurensi dan paralelisme; dan alat untuk pemrograman, verifikasi, dan implementasi. Tahun ini 74 makalah diserahkan ke APLAS. Setiap pengajuan ditinjau oleh tiga atau lebih anggota Komite Program dengan bantuan reviewer eksternal. Setelah mengevaluasi secara menyeluruh relevansi dan kualitas setiap makalah, Panitia Program memutuskan untuk menerima 24 makalah penelitian reguler dan satu presentasi sistem dan alat. Program tahun ini juga melanjutkan tradisi APLAS dari ceramah yang diundang oleh para peneliti terkemuka: Peter O'Hearn (Facebook), Sukyoung Ryu (KAIST), Eran Yahav (Technion), dan Hongseok Yang (Universitas Oxford). Program ini tidak akan mungkin terjadi tanpa upaya tak henti-hentinya dari beberapa orang, yang ingin kami ucapkan terima kasih. Pertama, Panitia Program dan peninjau tambahan atas kerja keras yang dilakukan untuk memastikan kualitas proses yang tinggi. Ucapan terima kasih kami juga ditujukan kepada Asian Association for Foundation of Software (AAFS), yang didirikan oleh para peneliti Asia bekerja sama dengan banyak peneliti dari Eropa dan Amerika Serikat, untuk mensponsori dan mendukung APLA. Kami ingin mengucapkan terima kasih yang sebesar-besarnya kepada Komite Pengarah secara umum dan Gyesik Lee dan Hyeonseung Im atas dukungan mereka dalam organisasi lokal dan untuk menyelenggarakan sesi poster. Terakhir, kami berterima kasih kepada Andrei Voronkov yang sistem EasyChair memudahkan proses pengajuan, pemilihan makalah, dan penyusunan prosiding.

---

Availability

No copy data

Detail Information

Series Title

Pemrograman dan Rekayasa Perangkat Lunak

Call Number

005.13 FEN p

Publisher

Pohang, South Korea : Springer International Publishing., 2015

Collation

-

Language

English

ISBN/ISSN

978-3-319-26529-2

Classification

005.13

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

9458

Subject(s)

Bahasa Pemrograman

Specific Detail Info

-

Statement of Responsibility

Xinyu Feng, Sungwoo Park

Other Information

Cataloger

erwin

Source

https://link.springer.com/10.1007/978-3-319-26529-2

Validator

erwin

Digital Object Identifier (DOI)

-

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment