Programming Languages and Systems
Jacques . Ed(S): Garrigue
€ 65.76
FREE Delivery in Ireland
Description for Programming Languages and Systems
Paperback. Editor(s): Garrigue, Jacques. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 508 pages, 117 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 771.
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, ... Read more
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, ... Read more
Product Details
Format
Paperback
Publication date
2014
Publisher
Springer International Publishing AG Switzerland
Number of pages
508
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
490
Place of Publication
Cham, Switzerland
ISBN
9783319127354
SKU
V9783319127354
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Programming Languages and Systems