Limit search to available items
Book Cover
Author APLAS (Symposium) (12th : 2014 : Singapore, Singapore)

Title Programming languages and systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings / Jacques Garrigue (eds.)
Published Cham : Springer, 2014
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (xviii, 490 pages) : illustrations
Series Lecture Notes in Computer Science, 0302-9743 ; 8858
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 8858. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.
Summary This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singapore in November 2014. The 20 regular papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 57 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems - ranging from foundational to practical issues. The papers focus on topics such as semantics, logics, foundational theory; design of languages, type systems and foundational calculi; domain-specific languages; compilers, interpreters, abstract machines; program derivation, synthesis and transformation; program analysis, verification, model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; as well as tools and environments for programming and implementation
Notes International conference proceedings
Bibliography Includes bibliographical references and author index
Notes Online resource; title from PDF title page (SpringerLink, viewed November 5, 2014)
Subject Programming languages (Electronic computers) -- Congresses.
Computer programming -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Garrigue, Jacques, editor
ISBN 9783319127361 (electronic bk.)
3319127365 (electronic bk.)
3319127357 (print)
9783319127354 (print)
Other Titles APLAS 2014