Programming Languages and Systems
Editat de Wei-Ngan Chinen Limba Engleză Paperback – 15 oct 2004
Preț: 330.96 lei
Preț vechi: 413.70 lei
-20%
Puncte Express: 496
Carte tipărită la comandă
Livrare economică 27 iulie-10 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540237242
ISBN-10: 3540237240
Pagini: 472
Ilustrații: X, 454 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.71 kg
Ediția:2004
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540237240
Pagini: 472
Ilustrații: X, 454 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.71 kg
Ediția:2004
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Talk.- A CLP Approach to Modelling Systems.- Session 1.- An Algebraic Approach to Bi-directional Updating.- Network Fusion.- Session 2.- Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type.- An Implementation of Subtyping Among Regular Expression Types.- An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors.- Session 3.- Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story.- History Effects and Verification.- Controlled Declassification Based on Intransitive Noninterference.- Session 4.- A Concurrent System of Multi-ported Processes with Causal Dependency.- Concurrency Combinators for Declarative Synchronization.- A Uniform Reduction Equivalence for Process Calculi.- Invited Talk.- Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk).- Session 5.- PType System: A Featherweight Parallelizability Detector.- A Type Theory for Krivine-Style Evaluation and Compilation.- Region-Based Memory Management for a Dynamically-Typed Language.- Session 6.- Protocol Specialization.- Automatic Generation of Editors for Higher-Order Data Structures.- A MATLAB-Based Code Generator for Sparse Matrix Computations.- Session 7.- D-Fusion: A Distinctive Fusion Calculus.- A Functional Language for Logarithmic Space.- Build, Augment and Destroy, Universally.- Free ?-Monoids: A Higher-Order Syntax with Metavariables.- Invited Talk.- The Scala Experiment – Can We Provide Better Language Support for Component Systems?.- Session 8.- Pointcuts as Functional Queries.- Formal Design and Verification of Real-Time Embedded Software.- Session 9.- McJava – A Design and Implementation of Java with Mixin-Types.- ARelational Model for Object-Oriented Designs.- Exploiting Java Objects Behavior for Memory Management and Optimizations.