Advances in computing science, ASIAN &#039,98 : 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998 : proceedings

Advances in Computing Science ASIAN 98: 4th Asian Computing Science Conference Manila, The Philippines, December 8–10, 1998 Proceedings
Author: Jieh Hsiang, Atsushi Ohori
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-65388-2
DOI: 10.1007/3-540-49366-2

Table 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