Cover Image
Read Now

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

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 sec...

Full description

Bibliographic Details
Other Authors: Lin, Anthony Widjaja (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2019, 2019
Edition:1st ed. 2019
Series:Programming and Software Engineering
Subjects:
The Computing Profession
Computer Science
Software Engineering
System Performance And Evaluation
Electronic Digital Computers / Evaluation
Compilers And Interpreters
Compilers (computer Programs)
Computers
Computer Science Logic And Foundations Of Programming
Computer Programming
Programming Techniques
Professions
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02118nmm a2200409 u 4500
001 EB001885666
003 EBX01000000000000001049033
005 00000000000000.0
007 cr|||||||||||||||||||||
008 191202 ||| eng
020 |a 9783030341756 
100 1 |a Lin, Anthony Widjaja  |e [editor] 
245 0 0 |a Programming Languages and Systems  |h Elektronische Ressource  |b 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings  |c edited by Anthony Widjaja Lin 
250 |a 1st ed. 2019 
260 |a Cham  |b Springer International Publishing  |c 2019, 2019 
300 |a XIII, 492 p. 609 illus., 24 illus. in color  |b online resource 
505 0 |a Invited Papers -- Types -- Program Analysis -- Semantics -- Language Design and Implementation -- Concurrency -- Verification -- Logic and Automata. 
653 |a The Computing Profession 
653 |a Computer science 
653 |a Software engineering 
653 |a System Performance and Evaluation 
653 |a Electronic digital computers / Evaluation 
653 |a Compilers and Interpreters 
653 |a Compilers (Computer programs) 
653 |a Software Engineering 
653 |a Computers 
653 |a Computer Science Logic and Foundations of Programming 
653 |a Computer programming 
653 |a Programming Techniques 
653 |a Professions 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Programming and Software Engineering 
028 5 0 |a 10.1007/978-3-030-34175-6 
856 4 0 |u https://doi.org/10.1007/978-3-030-34175-6?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.45 
520 |a 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 

Similar Items