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

Programming Languages and Systems

  • E-Book (pdf)
  • 454 Seiten
(0) Erste Bewertung abgeben
Alle Bewertungen ansehen
Inhalt Invited Talk.- A CLP Approach to Modelling Systems.- Session 1.- An Algebraic Approach to Bi-directional Updating.- Network... Weiterlesen
CHF 120.00
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



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.- A Relational Model for Object-Oriented Designs.- Exploiting Java Objects Behavior for Memory Management and Optimizations.


Titel: Programming Languages and Systems
Untertitel: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings
EAN: 9783540304777
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: Programmiersprachen
Veröffentlichung: 19.10.2004
Digitaler Kopierschutz: Wasserzeichen
Anzahl Seiten: 454

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