1 option
Programming Languages and Systems : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings / edited by Kwangkeun Yi.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Programming and software engineering ; SL 2, 3780.
- Programming and Software Engineering ; 3780
- Language:
- English
- Subjects (All):
- Software engineering.
- Programming languages (Electronic computers).
- Computer logic.
- Operating systems (Computers).
- Computer programming.
- Software Engineering/Programming and Operating Systems.
- Programming Languages, Compilers, Interpreters.
- Software Engineering.
- Logics and Meanings of Programs.
- Operating Systems.
- Programming Techniques.
- Local Subjects:
- Software Engineering/Programming and Operating Systems.
- Programming Languages, Compilers, Interpreters.
- Software Engineering.
- Logics and Meanings of Programs.
- Operating Systems.
- Programming Techniques.
- Physical Description:
- 1 online resource (XIV, 442 pages).
- Edition:
- First edition 2005.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
- System Details:
- text file PDF
- Contents:
- 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
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-32247-4
- 9783540322474
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.