Programming Languages and Systems
Editat de Wei-Ngan Chinen Limba Engleză Paperback – 15 oct 2004
Preț: 329.95 lei
Preț vechi: 412.43 lei
-20% Nou
Puncte Express: 495
Preț estimativ în valută:
58.38€ • 68.63$ • 51.13£
58.38€ • 68.63$ • 51.13£
Carte tipărită la comandă
Livrare economică 28 ianuarie-11 februarie 26
Preluare comenzi: 021 569.72.76
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.