APLAS 2012: Kyoto, Japan

[–] 

Refine list

showing all 28 records

refine by search term

refine by author

refine by access 

Session I: Invited Talk

Session II: Concurrency

Session III: Security

Session IV: Static Analysis I

Session V: Static Analysis II

Session VI: Language Design

Session VII: Dynamic Analysis

Session VIII: Complexity and Semantics

Session IX: Invited Talk

Session X: Program Logics and Verification

Session XI: Invited Talk