![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
APLAS 2005: Tsukuba, Japan
- Kwangkeun Yi:
Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings. Lecture Notes in Computer Science 3780, Springer 2005, ISBN 3-540-29735-9
Invited Talk
- Haruo Hosoya:
Type Systems for XML. 1
Session 1
- Tarmo Uustalu
, Varmo Vene
:
The Essence of Dataflow Programming. 2-18 - Ivana Mijajlovic, Hongseok Yang:
Data Refinement with Low-Level Pointer Operations. 19-36 - William L. Harrison:
A Simple Semantics for Polymorphic Recursion. 37-51 - Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn:
Symbolic Execution with Separation Logic. 52-68
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 - K. Rustan M. Leino, Francesco Logozzo:
Loop Invariants on Demand. 119-134
Invited Talk
- Patrick Cousot:
Integrating Physical Systems in the Static Analysis of Embedded Control Software. 135-138
Session 3
- V. Benjamin Livshits, John Whaley, Monica S. Lam:
Reflection Analysis for Java. 139-160 - Atsushi Igarashi
, Chieri Saito, Mirko Viroli
:
Lightweight Family Polymorphism. 161-177 - Walter Binder
:
A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting. 178-194 - Chien-An Chen, Sara Kalvala, Jane E. Sinclair:
Race Conditions in Message Sequence Charts. 195-211
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 - Damien Sereni, Neil D. Jones:
Termination Analysis of Higher-Order Functional Programs. 281-297
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 - Roberta Gori, Francesca Levi:
A New Occurrence Counting Analysis for BioAmbients. 381-400 - 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.