Cantitate/Preț
Produs
Total produse
Vezi coșul
Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings de Jacques Garrigue

Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings: Lecture Notes in Computer Science, cartea 8858

Editat de Jacques Garrigue
en Limba Engleză Paperback – 23 oct 2014
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32974 lei

Preț vechi: 41217 lei
-20%

Puncte Express: 495
Preț estimativ în valută:
5831€ • 6843$ • 5058£

Carte tipărită la comandă

Livrare economică 09-23 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783319127354
ISBN-10: 3319127357
Pagini: 508
Ilustrații: XVIII, 490 p. 117 illus.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.7 kg
Ediția:2014
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland

Public țintă

Research

Cuprins

NetKAT — A Formal System for the Verification of Networks.- Optimized Compilation of Multiset Rewriting with Comprehensions.- Logic Programming and Logarithmic Space.- Automatic Memory Management Based on Program Transformation Using Ownership.- The Essence of Ruby.- Types for Flexible Objects.- A Translation of Intersection and Union Types for the λμ-Calculus.- A Formalized Proof of Strong Normalization for Guarded Recursive Types.- Functional Pearl: Nearest Shelters in Manhattan.- Suppl: A Flexible Language for Policies.- A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking.- Model-Checking for AndroidMalware Detection.- Necessary and Sufficient Preconditions via Eager Abstraction.- Resource Protection Using Atomics: Patterns and Verification.- Resource Analysis of Complex Programs with Cost Equations.- Simple and Efficient Algorithms for Octagons.- Compositional Entailment Checking for a Fragment of Separation Logic.- Automatic Constrained Rewriting Induction towards Verifying Procedural Programs.- A ZDD-Based Efficient Higher-Order Model Checking Algorithm.- Inferring Grammatical Summaries of String Values.- Syntax-Directed Divide-and-Conquer Data-Flow Analysis.- Address Chain: Profiling Java Objects without Overhead in Java Heaps.- Call-by-Value in a Basic Logic for Interaction.- A Precise and Abstract Memory Model for C Using Symbolic Values.- Hereditary History-Preserving Bisimilarity: Logics andAutomata.