Programming Languages and Systems [electronic resource] : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings / edited by Atsushi Igarashi.

Contributor(s): Igarashi, Atsushi [editor.] | SpringerLink (Online service)Material type: TextTextSeries: Programming and Software Engineering ; 10017 | Lecture Notes in Computer Science ; 10017Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Edition: 1st ed. 2016Description: XVII, 465 p. 100 illus. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783319479583Subject(s): Programming languages (Electronic computers) | Software engineering | Computer logic | Mathematical logic | Programming Languages, Compilers, Interpreters | Software Engineering | Logics and Meanings of Programs | Mathematical Logic and Formal LanguagesAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.13 LOC classification: QA76.7-76.73QA76.76.C65Online resources: Click here to access online
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.
In: Springer Nature eBookSummary: This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016. The papers cover a variety of topics such as 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. .
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current library Home library Call number Materials specified URL Status Date due Barcode
IMSc Library
IMSc Library
Link to resource Available EBK14633

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.

This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016. The papers cover a variety of topics such as 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. .

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha