4. ASIAN 1998: Manila, The Philippines

@proceedings{DBLP:conf/asian/1998,
  editor    = {Jieh Hsiang and
               Atsushi Ohori},
  title     = {Advances in Computing Science - ASIAN '98, 4th Asian Computing
               Science Conference, Manila, The Philippines, December 8-10, 1998,
               Proceedings},
  booktitle = {ASIAN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1538},
  year      = {1998},
  isbn      = {3-540-65388-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk 1

• Susumu Hayashi, Ryosuke Sumitomo:
  Testing Proofs by Examples. 1-3
  Electronic Edition (Springer LINK) BibTeX

Session 1

• Harald Ganzinger, Florent Jacquemard, Margus Veanes:
  Rigid Reachability. 4-21
  Electronic Edition (Springer LINK) BibTeX
• Deepak Kapur, Mahadevan Subramaniam:
  Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover. 22-42
  Electronic Edition (Springer LINK) BibTeX
• Luca Roversi:
  A Polymorphic Language Which Is Typable and Poly-step. 43-60
  Electronic Edition (Springer LINK) BibTeX
• Ichiro Ogata:
  Cut Elimination for Classical Proofs as Continuation Passing Style Computation. 61-78
  Electronic Edition (Springer LINK) BibTeX

Tutorial 1

• Tomasz Janowski:
  Semantics and Logic for Provable Fault-Tolerance, A Tutorial. 79-83
  Electronic Edition (Springer LINK) BibTeX

Invited Talk 2

• Horatiu Cirstea, Claude Kirchner:
  The Rewriting Calculus as a Semantics of ELAN. 84-85
  Electronic Edition (Springer LINK) BibTeX

Session 2

• Chuan-Heng Ang, S. T. Tan, T. C. Tan:
  Tried Linear Hashing. 86-94
  Electronic Edition (Springer LINK) BibTeX
• Xiaoyong Du, Zhibin Liu, Naohiro Ishii:
  A New Factoring Algorithm for Magic Predicates. 95-112
  Electronic Edition (Springer LINK) BibTeX
• Sun-Yuan Hsieh, Gen-Huey Chen, Chin-Wen Ho:
  An Optimal Parallel Algorithm for the Perfect Dominating Set Problem on Distance-Hereditary Graphs. 113-124
  Electronic Edition (Springer LINK) BibTeX

Session 3

• Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar:
  Taxonomy and Expressiveness of Preemption: A Syntactic Approach. 125-141
  Electronic Edition (Springer LINK) BibTeX
• Zhiyi Huang, Chengzheng Sun, Abdul Sattar:
  Exploring Regional Locality in Distributed Shared Memory. 142-156
  Electronic Edition (Springer LINK) BibTeX
• Zhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang:
  Guaranteed Mutually Consistent Checkpointing in Distributed Computations. 157-168
  Electronic Edition (Springer LINK) BibTeX

Session 4

• Martin Müller, Susumu Nishimura:
  Type Inference for First-Class Messages with Feature Constraints. 169-187
  Electronic Edition (Springer LINK) BibTeX
• Simon Helsen, Peter Thiemann:
  Two Flavors of Offline Partial Evaluation. 188-205
  Electronic Edition (Springer LINK) BibTeX
• Masatomo Hashimoto:
  First-Class Contexts in ML. 206-223
  Electronic Edition (Springer LINK) BibTeX

Keynote Address

• Jeannette M. Wing:
  Formal Methods: Past, Present, and Future (Abstract). 224
  Electronic Edition (Springer LINK) BibTeX

Session 5

• Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
  A Comparison of Petri Net Semantics under the Collective Token Philosophy. 225-244
  Electronic Edition (Springer LINK) BibTeX
• Yuxi Fu:
  Bisimulation Lattice of Chi Processes. 245-262
  Electronic Edition (Springer LINK) BibTeX
• Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki:
  Eventuality in LOTOS with a Disjunction Operator. 263-281
  Electronic Edition (Springer LINK) BibTeX
• Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni:
  Towards a Characterisation of Finite-State Message-Passing Systems. 282-299
  Electronic Edition (Springer LINK) BibTeX

Tutorial 2

• N. Raja, R. K. Shyamasundar:
  Mobile Computation: Calculus and Languages (A Tutorial). 300-304
  Electronic Edition (Springer LINK) BibTeX