Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Yi, Kwangkeun (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Programming and Software Engineering, 3780
Temas:
Software engineering.
Compilers (Computer programs).
Computer science.
Operating systems (Computers).
Computer programming.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Operating Systems.
Programming Techniques.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Invited Talk
  • Type Systems for XML
  • The Essence of Dataflow Programming
  • Data Refinement with Low-Level Pointer Operations
  • A Simple Semantics for Polymorphic Recursion
  • Symbolic Execution with Separation Logic
  • An Abstract Interpretation Perspective on Linear vs. Branching Time
  • The Parallel Implementation of the Astrée Static Analyzer
  • Using Datalog with Binary Decision Diagrams for Program Analysis
  • Loop Invariants on Demand
  • Invited Talk
  • Integrating Physical Systems in the Static Analysis of Embedded Control Software
  • Reflection Analysis for Java
  • Lightweight Family Polymorphism
  • A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting
  • Race Conditions in Message Sequence Charts
  • Invited Talk
  • A Next-Generation Platform for Analyzing Executables
  • Calculating Polynomial Runtime Properties
  • Resource Bound Certification for a Tail-Recursive Virtual Machine
  • A Path Sensitive Type System for Resource Usage Verification of C Like Languages
  • Termination Analysis of Higher-Order Functional Programs
  • Heterogeneous Fixed Points with Application to Points-To Analysis
  • Register Allocation Via Coloring of Chordal Graphs
  • Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis
  • Abstract Dependences for Alarm Diagnosis
  • A Typed, Compositional Logic for a Stack-Based Abstract Machine
  • A New Occurrence Counting Analysis for BioAmbients
  • A Parametric Model for the Analysis of Mobile Ambients
  • On the Rôle of Abstract Non-interference in Language-Based Security.

Ejemplares similares