Feng / Park | Programming Languages and Systems | E-Book | sack.de
E-Book

E-Book, Englisch, 506 Seiten, eBook

Reihe: Programming and Software Engineering

Feng / Park Programming Languages and Systems

13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
1. Auflage 2015
ISBN: 978-3-319-26529-2
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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

E-Book, Englisch, 506 Seiten, eBook

Reihe: Programming and Software Engineering

ISBN: 978-3-319-26529-2
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

This book constitutes the refereed proceedings of the 13th Asian Symposium on

Programming Languages and Systems, APLAS 2015, held in Pohang, South Korea, in

November/December 2015. The 24 regular papers presented together with 1 short paper were carefully reviewed and selected from 74 submissions. The

papers cover a variety of foundational and practical issues in programming

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

Feng / Park Programming Languages and Systems jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Feng, Xinyu
Park, Sungwoo
Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.