Buch, Englisch, Band 11275, 437 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 680 g
16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings
Buch, Englisch, Band 11275, 437 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 680 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-030-02767-4
Verlag: Springer International Publishing
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Types.- Program Analysis.- Tools.- Functional Programs and Probabilistic Programs.- Verification.- Logic.- Continuation and Model Checking.