APLAS 2005: Tsukuba, Japan
Kwangkeun Yi (Ed.): Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science ISBN 3-540-29735-9
Invited Talk
- Haruo Hosoya: Type Systems for XML. 1
Session 1
- William L. Harrison: A Simple Semantics for Polymorphic Recursion. 37-51
Session 2
- Francesco Ranzato, Francesco Tapparo: An Abstract Interpretation Perspective on Linear vs. Branching Time. 69-85
- David Monniaux: The Parallel Implementation of the Astrée Static Analyzer. 86-96
- John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam: Using Datalog with Binary Decision Diagrams for Program Analysis. 97-118
Invited Talk
- Patrick Cousot: Integrating Physical Systems in the Static Analysis of Embedded Control Software. 135-138
Session 3
- Walter Binder: A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting. 178-194
Invited Talk
- Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum: A Next-Generation Platform for Analyzing Executables. 212-229
Session 4
- Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca: Calculating Polynomial Runtime Properties. 230-246
- Silvano Dal-Zilio, Régis Gascon: Resource Bound Certification for a Tail-Recursive Virtual Machine. 247-263
- Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han: A Path Sensitive Type System for Resource Usage Verification of C Like Languages. 264-280
Session 5
- Aditya Kanade, Uday P. Khedker, Amitabha Sanyal: Heterogeneous Fixed Points with Application to Points-To Analysis. 298-314
- Fernando Magno Quintão Pereira, Jens Palsberg: Register Allocation Via Coloring of Chordal Graphs. 315-329
- Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor: Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. 330-346
- Xavier Rival: Abstract Dependences for Alarm Diagnosis. 347-363
Session 6
- Nick Benton: A Typed, Compositional Logic for a Stack-Based Abstract Machine. 364-380
- Dino Distefano: A Parametric Model for the Analysis of Mobile Ambients. 401-417
- Isabella Mastroeni: On the Rôle of Abstract Non-interference in Language-Based Security. 418-433
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team