Programming Languages and Systems

13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

Buch | Softcover

XIX, 506 Seiten

2015 | 1st ed. 2015
Springer International Publishing (Verlag)
978-3-319-26528-5 (ISBN)

Artikel merken

This book constitutes the refereed proceedings of the 13th Asian Symposium onProgramming Languages and Systems, APLAS 2015, held in Pohang, South Korea, inNovember/December 2015. The 24 regular papers presented together with 1 short paper were carefully reviewed and selected from 74 submissions. Thepapers cover a variety of foundational and practical issues in programminglanguages and systems and have been organized in topical sections on compilers, separation logic, static analysis and abstract interpretation, Hoare logic and types, functional programming and semantics, model checking, program analysis, medley, and programming models.

Erscheinungsdatum	08.10.2016
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	XIX, 506 p. 133 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Informatik ► Theorie / Studium ► Compilerbau
Schlagworte	Abstract Interpretation • Applications • automated reasoning • Compilers • Computer Science • Concurrency and parallelism • conference proceedings • constraints • Dynamic Analysis • dynamic language • Functional languages • hoare logic • Informatics • logic and verification • Model Checking • Object oriented languages • Operational Semantics • program analysis • Programming languages, compilers, interpreters • Research • Semantics • separation logic • Software Security • Static Analysis • Type Systems • Type Theory
ISBN-10	3-319-26528-8 / 3319265288
ISBN-13	978-3-319-26528-5 / 9783319265285
Zustand	Neuware