|
![]() |
|||
|
||||
OverviewThis book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata. Full Product DetailsAuthor: Anthony Widjaja LinPublisher: Springer Nature Switzerland AG Imprint: Springer Nature Switzerland AG Edition: 1st ed. 2019 Volume: 11893 Weight: 0.771kg ISBN: 9783030341749ISBN 10: 3030341747 Pages: 492 Publication Date: 09 November 2019 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsInvited Papers.- Types.- Program Analysis.- Semantics.- Language Design and Implementation.- Concurrency.- Verification.- Logic and Automata.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |