The Third Asian Symposium on
Programming Languages and Systems
Programming Languages and Systems
Poster Session (tentative)
Day I: November 3, 2005
16:30 - 17:30 Poster Session
An i/o typed framework for network programming in Haskell based on Localized pi-calculus
Keigo Imai, Shoji Yuen, Kiyoshi Agusa
A Novel Approach on Centralizing Networked Applications
Cyrille Artho
A study on the PIM transformation Rule of EJB Component using MDA Based Concept
Jungmo Yoon, Hyunjoo Lee
Decidable Type Checking for XML Programming in A Functional Setting
Akihiko Tozawa
Flow Analysis for Variant Parametric Types in Java
Florin Craciun, Corneliu Popeea, Siau-Cheng Khoo, Wei-Ngan Chin
Origami Theorem Proving - Examples
Hidekazu Takahashi, Fadoua Ghourabi, Asem Kasem
Request and Assert: Programmer-governed approach to computing specialization scenarios
Ping Zhu, Siau-Cheng Khoo
Safety Analysis of Multi-Staged Programs and Its Equivalent Type System
Deokhwan Kim, Kwangkeun Yi
Toward a Lightweight Tool for Locating Unintentional Object Retention in Java Programs
Chin-Hung Chien, Kung Chen, Ju-Bing Chen
Validating Dynamically Generated XHTML Documents
Nobuo Otoi, Yasuhiko Minamide