Programming languages and systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings /: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings. (2016)
- Record Type:
- Book
- Title:
- Programming languages and systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings /: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings. (2016)
- Main Title:
- Programming languages and systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings
- Other Titles:
- APLAS 2016
- Further Information:
- Note: Atsushi Igarashi (ed.).
- Editors:
- (Computer engineer), Igarashi, Atsushi
- Other Names:
- APLAS (Symposium), 14th
- Contents:
- Semantics, logics, and foundational theory -- Design of languages type systems, and foundational calculi -- Domain-specific languages.-Compilers, interpreters, and abstract machines -- Program derivation, synthesis and transformation -- Program analysis, verification, and model-checking -- Logic, constraint, probabilistic and quantum programming -- Software security; concurrency and parallelism -- Tools for programming and implementation.
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2016
- Extent:
- 1 online resource (xvii, 465 pages), illustrations
- Subjects:
- 005.13
Computer science
Programming languages (Electronic computers) -- Congresses
Computer programming -- Congresses
Computer programming
Programming languages (Electronic computers)
Computer Science
Programming Languages, Compilers, Interpreters
Software Engineering
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Computers -- Software Development & Engineering -- General
Computers -- Programming -- General
Mathematics -- Logic
Software Engineering
Computer programming / software development
Mathematical theory of computation
Software engineering
Logic design
Computers -- Programming Languages -- General
Programming & scripting languages: general
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783319479583
3319479571
9783319479576 - Related ISBNs:
- 331947958X
9783319479576 - Notes:
- Note: Online resource; title from PDF title page (SpringerLink, viewed October 14, 2016).
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.370309
- Ingest File:
- 01_356.xml