Distributed memory implementation of KLIC Kazuaki RokusawaAkihiko NakaseTakashi Chikayama Regular Papers Pages: 261 - 280
A common intermediate language and its use in partitioning concurrent declarative programs Z. M. AriolaB. C. MasseyE. Tick Regular Papers Pages: 281 - 315
Verifying local stratifiability of logic programs and databases II Yi-Dong Shen Regular Papers Pages: 317 - 341
Deriving failures models for nonuniform concurrency from structured operational semantics Eiichi Horita Regular Papers Pages: 343 - 389