03228nam 22007575 450 991035784590332120251225200649.03-030-34175-510.1007/978-3-030-34175-6(CKB)4100000009845126(DE-He213)978-3-030-34175-6(MiAaPQ)EBC5979686(PPN)255495080(EXLCZ)99410000000984512620191108d2019 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierProgramming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings /edited by Anthony Widjaja Lin1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (XIII, 492 p. 609 illus., 24 illus. in color.) Programming and Software Engineering,2945-9168 ;118933-030-34174-7 Includes bibliographical references and index.Invited Papers -- Types -- Program Analysis -- Semantics -- Language Design and Implementation -- Concurrency -- Verification -- Logic and Automata. .This 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.Programming and Software Engineering,2945-9168 ;11893Compilers (Computer programs)Software engineeringComputer programmingElectronic digital computersEvaluationComputersProfessionsComputer scienceCompilers and InterpretersSoftware EngineeringProgramming TechniquesSystem Performance and EvaluationThe Computing ProfessionComputer Science Logic and Foundations of ProgrammingCompilers (Computer programs).Software engineering.Computer programming.Electronic digital computersEvaluation.Computers.Professions.Computer science.Compilers and Interpreters.Software Engineering.Programming Techniques.System Performance and Evaluation.The Computing Profession.Computer Science Logic and Foundations of Programming.005.13005.13Lin Anthony Widjajaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910357845903321Programming Languages and Systems3644366UNINA