Programming Languages and Systems Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Chin, Wei-Ngan (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
• Έκδοση: 1st ed. 2004.
• Σειρά: Lecture Notes in Computer Science, 3302
• Θέματα: Programming languages (Electronic computers).; Software engineering.; Computer logic.; Operating systems (Computers).; Computer programming.; Mathematical logic.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Logics and Meanings of Programs.; Operating Systems.; Programming Techniques.; Mathematical Logic and Formal Languages.

On behalf of the organizing committee I would like to welcome you all to the second Asian Symposium on Programming Languages and Systems (APLAS 2004) held in Taipei on November 4-6, 2004. Since the year 2000, researchers in the area of programming languages and systems have been meeting annually in...

Πίνακας περιεχομένων:

• 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.