Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings /

This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, November 8-10, 2006. The symposium was sponsored by the Asian Association for Foundation of Software. In response to the call for papers, 70 full submissions wer...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Kobayashi, Naoki (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Programming and Software Engineering, 4279
Temas:
Compilers (Computer programs).
Software engineering.
Computer science.
Operating systems (Computers).
Computer programming.
Machine theory.
Compilers and Interpreters.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Operating Systems.
Programming Techniques.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Invited Talk 1
  • Type Processing by Constraint Reasoning
  • Session 1
  • Principal Type Inference for GHC-Style Multi-parameter Type Classes
  • Private Row Types: Abstracting the Unnamed
  • Type and Effect System for Multi-staged Exceptions
  • Session 2
  • Relational Reasoning for Recursive Types and References
  • Proof Abstraction for Imperative Languages
  • Reading, Writing and Relations
  • Session 3
  • A Fine-Grained Join Point Model for More Reusable Aspects
  • Automatic Testing of Higher Order Functions
  • Invited Talk 2
  • Event Driven Software Quality
  • Session 4
  • Widening Polyhedra with Landmarks
  • Comparing Completeness Properties of Static Analyses and Their Logics
  • Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis
  • Session 5
  • A Modal Language for the Safety of Mobile Values
  • An Analysis for Proving Temporal Properties of Biological Systems
  • Computational Secrecy by Typing for the Pi Calculus
  • Invited Tutorial
  • Scheme with Classes, Mixins, and Traits
  • Session 6
  • Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy
  • Combining Offline and Online Optimizations: Register Allocation and Method Inlining
  • A Localized Tracing Scheme Applied to Garbage Collection
  • Session 7
  • A Pushdown Machine for Recursive XML Processing
  • XML Validation for Context-Free Grammars
  • A Practical String Analyzer by the Widening Approach
  • Session 8
  • A Bytecode Logic for JML and Types
  • On Jones-Optimal Specializers: A Case Study Using Unmix.

Ejemplares similares