default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th ASIAN 1998: Manila, Philippines
- Jieh Hsiang, Atsushi Ohori:
Advances in Computing Science - ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings. Lecture Notes in Computer Science 1538, Springer 1998, ISBN 3-540-65388-0
Invited Talk 1
- Susumu Hayashi, Ryosuke Sumitomo:
Testing Proofs by Examples. 1-3
Session 1
- Harald Ganzinger, Florent Jacquemard, Margus Veanes:
Rigid Reachability. 4-21 - Deepak Kapur, Mahadevan Subramaniam:
Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover. 22-42 - Luca Roversi
:
A Polymorphic Language Which Is Typable and Poly-step. 43-60 - Ichiro Ogata:
Cut Elimination for Classical Proofs as Continuation Passing Style Computation. 61-78
Tutorial 1
- Tomasz Janowski:
Semantics and Logic for Provable Fault-Tolerance, A Tutorial. 79-83
Invited Talk 2
- Horatiu Cirstea, Claude Kirchner:
The Rewriting Calculus as a Semantics of ELAN. 84-85
Session 2
- Chuan-Heng Ang, Sun-Teck Tan, Tuck Choy Tan:
Tried Linear Hashing. 86-94 - Xiaoyong Du, Zhibin Liu, Naohiro Ishii:
A New Factoring Algorithm for Magic Predicates. 95-112 - 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
Session 3
- Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar:
Taxonomy and Expressiveness of Preemption: A Syntactic Approach. 125-141 - Zhiyi Huang, Chengzheng Sun, Abdul Sattar:
Exploring Regional Locality in Distributed Shared Memory. 142-156 - Zhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang:
Guaranteed Mutually Consistent Checkpointing in Distributed Computations. 157-168
Session 4
- Martin Müller, Susumu Nishimura:
Type Inference for First-Class Messages with Feature Constraints. 169-187 - Simon Helsen, Peter Thiemann:
Two Flavors of Offline Partial Evaluation. 188-205 - Masatomo Hashimoto:
First-Class Contexts in ML. 206-223
Keynote Address
- Jeannette M. Wing:
Formal Methods: Past, Present, and Future (Abstract). 224
Session 5
- Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
A Comparison of Petri Net Semantics under the Collective Token Philosophy. 225-244 - Yuxi Fu:
Bisimulation Lattice of Chi Processes. 245-262 - Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki:
Eventuality in LOTOS with a Disjunction Operator. 263-281 - Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni:
Towards a Characterisation of Finite-State Message-Passing Systems. 282-299
Tutorial 2
- N. Raja, R. K. Shyamasundar:
Mobile Computation: Calculus and Languages (A Tutorial). 300-304
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-28 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
