Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
tarafından
Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096
Başlık
:
Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
Yazar
:
Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096
ISBN
:
9783030341756
Edisyon
:
1st ed. 2019.
Fiziksel Niteleme
:
XIII, 492 p. 609 illus., 24 illus. in color. online resource.
Seri
:
Programming and Software Engineering ; 11893
İçindekiler
:
Invited Papers -- Types -- Program Analysis -- Semantics -- Language Design and Implementation -- Concurrency -- Verification -- Logic and Automata. .
Özet
:
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.
Konu Başlığı
:
Programming languages (Electronic computers).
Software engineering.
Computer programming.
Computer system failures.
Computers.
Computer logic.
Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies/product-market-codes/I14037
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010
System Performance and Evaluation. https://scigraph.springernature.com/ontologies/product-market-codes/I13049
The Computing Profession. https://scigraph.springernature.com/ontologies/product-market-codes/I24075
Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
Yazar Ek Girişi
:
Lin, Anthony Widjaja.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 428013-1001 | QA76.7 -76.73 | Springer E-Book Collection |