ASIAN Symposium on Programming Languages and Systems

APLAS

CORE rank

CORE rank (raw)

Fields of research

Software Engineering

Papers indexed

613

2000–2025

Papers per year

200031 peak2025

Most published authors

APLAS papers

613 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
2000	Logical Analysis of Assembly Language.	Atsushi Ohori
2000	A Note on Algebraic Structure of Tree Decomposition of Graphs.	Mizuhito Ogawa
2000	On Building Trees with Minimum Height, Relationally.	Shin-Cheng Mu
2000	A New Criterion for Safe Program Transformations.	Yasuhiko Minamide
2000	A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms.	Oukseh Lee, Kwangkeun Yi
2000	Partial CPS Transformation Using Static Annotation.	Jungtaek Kim, Kwangkeun Yi
2000	An Open Environment for Cooperative Equational Solving.	Tetsuo Ida, Mircea Marin
2000	Conditional Analysis and Verification.	Nevin Heintze, Joxan Jaffar, Razvan Voicu
2000	Automatic Generation of Very Efficient Programs by Generalized Partial Computation.	Yoshihiko Futamura, Zenjiro Konishi, Robert Glck
2000	Generic Validation of Structural Content with Parametric Modules.	Tyng-Ruey Chuang
2000	Deriving Pre-Conditions for Array Bound Check Elimination.	Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
2000	Kima - An Automated Error Correction System for Concurrent Logic Programs.	Yasuhiro Ajiro, Kazunori Ueda
2000	Principles of Inverse Computation in a Functional Language.	Sergei M. Abramov, Robert Glck

Other A*/A conferences filed under the same field of research.