Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings: Lecture Notes in Computer Science, cartea 4279
Editat de Naoki Kobayashien Limba Engleză Paperback – 6 noi 2006
Din seria Lecture Notes in Computer Science
- 20%
Preț: 1020.28 lei -
Preț: 395.25 lei - 20%
Preț: 327.36 lei - 20%
Preț: 556.96 lei - 20%
Preț: 400.77 lei - 15%
Preț: 558.12 lei - 20%
Preț: 328.94 lei - 20%
Preț: 340.04 lei - 20%
Preț: 487.46 lei - 20%
Preț: 629.71 lei - 20%
Preț: 386.08 lei - 20%
Preț: 489.11 lei - 20%
Preț: 620.33 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 782.57 lei - 20%
Preț: 679.09 lei - 20%
Preț: 330.54 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 435.28 lei - 20%
Preț: 375.72 lei - 20%
Preț: 342.61 lei - 20%
Preț: 432.78 lei - 20%
Preț: 904.16 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 373.80 lei - 20%
Preț: 400.17 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 984.64 lei - 20%
Preț: 560.93 lei - 20%
Preț: 731.97 lei - 20%
Preț: 563.29 lei - 20%
Preț: 403.00 lei - 20%
Preț: 793.92 lei - 20%
Preț: 324.19 lei - 20%
Preț: 733.68 lei - 20%
Preț: 336.86 lei - 20%
Preț: 327.36 lei - 20%
Preț: 573.45 lei - 20%
Preț: 558.53 lei - 20%
Preț: 850.42 lei - 20%
Preț: 560.93 lei - 20%
Preț: 560.93 lei - 20%
Preț: 631.96 lei - 20%
Preț: 568.70 lei - 20%
Preț: 488.90 lei - 20%
Preț: 293.24 lei
Preț: 326.55 lei
Preț vechi: 408.19 lei
-20%
Puncte Express: 490
Preț estimativ în valută:
57.73€ • 68.83$ • 50.07£
57.73€ • 68.83$ • 50.07£
Carte tipărită la comandă
Livrare economică 16-30 martie
Specificații
ISBN-13: 9783540489375
ISBN-10: 3540489371
Pagini: 440
Ilustrații: XI, 423 p.
Dimensiuni: 155 x 235 x 28 mm
Greutate: 0.61 kg
Ediția:2006
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540489371
Pagini: 440
Ilustrații: XI, 423 p.
Dimensiuni: 155 x 235 x 28 mm
Greutate: 0.61 kg
Ediția:2006
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Talk 1.- Type Processing by Constraint Reasoning.- Session 1.- Principal Type Inference for GHC-Style Multi-parameter Type Classes.- Private Row Types: Abstracting the Unnamed.- Type and Effect System for Multi-staged Exceptions.- Session 2.- Relational Reasoning for Recursive Types and References.- Proof Abstraction for Imperative Languages.- Reading, Writing and Relations.- Session 3.- A Fine-Grained Join Point Model for More Reusable Aspects.- Automatic Testing of Higher Order Functions.- Invited Talk 2.- Event Driven Software Quality.- Session 4.- Widening Polyhedra with Landmarks.- Comparing Completeness Properties of Static Analyses and Their Logics.- Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis.- Session 5.- A Modal Language for the Safety of Mobile Values.- An Analysis for Proving Temporal Properties of Biological Systems.- Computational Secrecy by Typing for the Pi Calculus.- Invited Tutorial.- Scheme with Classes, Mixins, and Traits.- Session 6.- Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy.- Combining Offline and Online Optimizations: Register Allocation and Method Inlining.- A Localized Tracing Scheme Applied to Garbage Collection.- Session 7.- A Pushdown Machine for Recursive XML Processing.- XML Validation for Context-Free Grammars.- A Practical String Analyzer by the Widening Approach.- Session 8.- A Bytecode Logic for JML and Types.- On Jones-Optimal Specializers: A Case Study Using Unmix.