Willkommen, schön sind Sie da!
Logo Ex Libris

Programming Languages and Systems

  • E-Book (pdf)
  • 506 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, held... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 75.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.

Produktinformationen

Titel: Programming Languages and Systems
Untertitel: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
Editor:
EAN: 9783319265292
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: Programmiersprachen
Anzahl Seiten: 506
Veröffentlichung: 08.12.2015
Dateigrösse: 16.7 MB

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"