ISBN: 3-540-65388-0
TITLE: Advances in Computing Science - ASIAN'98
AUTHOR: Hsiang, Jieh; Ohori, Atsushi (Eds.)
TOC:
Invited Talk 1
Testing Proofs by Examples 1
Susumu Hayashi and Ryosuke Sumitomo
Session 1
Rigid Reachability 4
Harald Ganzinger, Florent Jacquemard, and Margus Veanes
Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover 22
Deepak Kapur and M. Subramaniam
A Polymorphic Language Which Is Typable and Poly-step 43
Luca Roversi
Cut Elimination for Classical Proofs as Continuation Passing Style Computation 61
Ichiro Ogata
Tutorial 1
Semantics and Logic for Provable Fault-Tolerance, A Tutorial 79
Tomasz Janowski
Invited Talk 2
The Rewriting Calculus as a Semantics of ELAN 84
Horatiu Cirstea and Claude Kirchner
Session 2
Tried Linear Hashing 86
C.H. Ang, S.T. Tan, and T.C. Tan
A New Factoring Algorithm for Magic Predicates 95
Xiaoyong Du, Zhibin Liu, and Naohiro Ishii
An Optimal Parallel Algorithm for the Perfect Dominating Set Problem on Distance-Hereditary Graphs 113
Sun-Yuan Hsieh, Gen-Huey Chen, and Chin-Wen Ho
Session 3
Taxonomy and Expressiveness of Preemption: A Syntactic Approach 125
Sophie Pinchinat, Éric Rutten, and R.K. Shyamasundar
Exploring Regional Locality in Distributed Shared Memory 142
Zhiyi Huang, Chengzheng Sun, and Abdul Sattar
Guaranteed Mutually Consistent Checkpointing in Distributed Computations 157
Zhonghua Yang, Chengzheng Sun, Abdul Sattar, and Yanyan Yang
Session 4
Type Inference for First-Class Messages with Feature Constraints 169
Martin Müller and Susumu Nishimura
Two Flavors of Offline Partial Evaluation 188
Simon Helsen and Peter Thiemann
First-Class Contexts in ML 206
Masatomo Hashimoto
Keynote Address
Formal Methods: Past, Present, and Future 224
Jeannette M. Wing
Session 5
A Comparison of Petri Net Semantics under the Collective Token Philosophy 225
Roberto Bruni, José Meseguer, Ugo Montanari, and Vladimiro Sassone Bisimulation Lattice of Chi Processes 245
Yuxi Fu
Eventuality in LOTOS with a Disjunction Operator 263
Yoshinao Isobe, Yutaka Sato, and Kazuhito Ohmaki
Towards a Characterisation of Finite-State Message-Passing Systems 282
Madhavan Mukund, K Narayan Kumar, Jaikumar Radhakrishnan, and Milind Sohoni
Tutorial 2
Mobile Computation: Calculus and Languages (A Tutorial) 300
N. Raja and R.K. Shyamasundar
Author Index 305
END