Advances in Computing Science ASIAN 98: 4th Asian Computing Science Conference Manila, The Philippines, December 8–10, 1998 ProceedingsAuthor: Jieh Hsiang, Atsushi Ohori Published by Springer Berlin Heidelberg ISBN: 978-3-540-65388-2 DOI: 10.1007/3-540-49366-2Table of Contents:Testing Proofs by Examples Rigid Reachability Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover A Polymorphic Language Which Is Typable and Poly-step Cut Elimination for Classical Proofs as Continuation Passing Style Computation Semantics and Logic for Provable Fault-Tolerance, A Tutorial The Rewriting Calculus as a Semantics of ELAN Tried Linear Hashing A New Factoring Algorithm for Magic Predicates An Optimal Parallel Algorithm for the Perfect Dominating Set Problem on Distance-Hereditary Graphs Taxonomy and Expressiveness of Preemption: A Syntactic Approach Exploring Regional Locality in Distributed Shared Memory Guaranteed Mutually Consistent Checkpointing in Distributed Computations Type Inference for First-Class Messages with Feature Constraints Two Flavors of Offine Partial Evaluation First-Class Contexts in ML Formal Methods: Past, Present, and Future A Comparison of Petri Net Semantics under the Collective Token Philosophy Bisimulation Lattice of Chi Processes Eventuality in LOTOS with a Disjunction Operator, Includes bibliographical references and index