Title Programming languages and systems : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings / Sukyoung Ryu (ed.)

Published Cham, Switzerland : Springer, 2018

Click on the following:
Springer eBooks
Springer Computer Science eBooks

Copies

Description 1 online resource (xi, 437 pages) : illustrations Series Lecture notes in computer science ; 11275 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 11275. LNCS sublibrary. SL 2, Programming and software engineering. Contents Types -- Program Analysis -- Tools -- Functional Programs and Probabilistic Programs -- Verification -- Logic -- Continuation and Model Checking Summary 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 Notes International conference proceedings Includes author index Online resource; title from PDF title page (SpringerLink, viewed December, 2018) Subject Programming languages (Electronic computers) -- Congresses Computer programming -- Congresses Software Engineering. Computer programming -- software development. Computer science. Artificial intelligence. Systems analysis & design. Programming & scripting languages: general. Computers -- Software Development & Engineering -- General. Computers -- Programming -- General. Computers -- Computer Science. Computers -- Intelligence (AI) & Semantics. Computers -- Hardware -- Handheld Devices. Computers -- Programming Languages -- General. Computer programming Programming languages (Electronic computers) Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Ryu, Sukyoung, editor. ISBN 9783030027681 3030027686

Other Titles APLAS 2018

  Permalink