Programming Languages and Systems

12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Buch | Softcover

XVIII, 490 Seiten

2014
Springer International Publishing (Verlag)
978-3-319-12735-4 (ISBN)

Artikel merken

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.

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 mi-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.

Erscheint lt. Verlag	23.10.2014
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	XVIII, 490 p. 117 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	771 g
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Informatik ► Theorie / Studium ► Compilerbau
Schlagworte	constraints • dynamic language • Logic Programming • logics • memory leak • Model-Checking • Operational Semantics • Packet Switching • program analysis • Proof theory • Software engineering • Software Engineering / Softwareentwicklung • Softwareentwicklung • Term Rewriting • Type Systems • unification
ISBN-10	3-319-12735-7 / 3319127357
ISBN-13	978-3-319-12735-4 / 9783319127354
Zustand	Neuware