Produktnummer:
185ca671cc530549318f87886738394f07
| Themengebiete: | APL Constraint LA derivation design programming programming language verification |
|---|---|
| Veröffentlichungsdatum: | 05.11.2010 |
| EAN: | 9783642171635 |
| Sprache: | Englisch |
| Seitenzahl: | 440 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Ueda, Kazunori |
| Verlag: | Springer Berlin |
| Untertitel: | 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings |
Produktinformationen "Programming Languages and Systems"
The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen