Programming languages and systems : Second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings
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...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Institution som forfatter: | |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
3302 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Programming languages and systems, Second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004, proceedings, Wei-Ngan Chin (Ed.), Berlin, Springer, 2004, 1 vol. (XIII-452 p.), Lecture Notes in Computer Science, 3-540-23724-0 • Programming Languages and Systems, Texte imprimé, 9783662202364 |
Indholdsfortegnelse:
- 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.