Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
tarafından
 
Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772

Başlık
Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

Yazar
Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772

ISBN
9783030027681

Edisyon
1st ed. 2018.

Fiziksel Niteleme
XI, 437 p. 123 illus. online resource.

Seri
Programming and Software Engineering ; 11275

İçindekiler
Types -- Program Analysis -- Tools -- Functional Programs and Probabilistic Programs -- Verification -- Logic -- Continuation and Model Checking.

Özet
This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018. The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs; verification; logic; and continuation and model checking.

Konu Başlığı
Computer science.
 
Software engineering.
 
Information theory.
 
Artificial intelligence.
 
Computer system performance.
 
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product-market-codes/I14037
 
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
 
Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010
 
Theory of Computation. http://scigraph.springernature.com/things/product-market-codes/I16005
 
Artificial Intelligence. http://scigraph.springernature.com/things/product-market-codes/I21000
 
System Performance and Evaluation. http://scigraph.springernature.com/things/product-market-codes/I13049

Yazar Ek Girişi
Ryu, Sukyoung.

Ek Kurum Yazar
SpringerLink (Online service)

Elektronik Erişim
https://doi.org/10.1007/978-3-030-02768-1


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book221783-1001QA76.7 -76.73Springer E-Book Collection