Skip to main content
SpringerLink
Log in
Book cover

Advances in Computing Science - ASIAN'98

4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Jieh Hsiang

    1. College of Science and Technology, National Chi-Nan University, Puli, Nantou, Taiwan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Atsushi Ohori

    1. Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1538)

Included in the following conference series:

Conference proceedings info: ASIAN 1998.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Invited Talk 1

    1. Testing Proofs by Examples

      • Susumu Hayashi, Ryosuke Sumitomo
      Pages 1-3

  3. Session 1

    1. Rigid Reachability

      • Harald Ganzinger, Florent Jacquemard, Margus Veanes
      Pages 4-21

    2. Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover

      • Deepak Kapur, M. Subramaniam
      Pages 22-42

    3. A Polymorphic Language Which Is Typable and Poly-step

      • Luca Roversi
      Pages 43-60

    4. Cut Elimination for Classical Proofs as Continuation Passing Style Computation

      • Ichiro Ogata
      Pages 61-78

  4. Tutorial 1

    1. Semantics and Logic for Provable Fault-Tolerance, A Tutorial

      • Tomasz Janowski
      Pages 79-83

  5. Invited Talk 2

    1. The Rewriting Calculus as a Semantics of ELAN

      • Horatiu Cirstea, Claude Kirchner
      Pages 84-85

  6. Session 2

    1. Tried Linear Hashing

      • C. H. Ang, S. T. Tan, T. C. Tan
      Pages 86-94

    2. A New Factoring Algorithm for Magic Predicates

      • Xiaoyong Du, Zhibin Liu, Naohiro Ishii
      Pages 95-112

    3. An Optimal Parallel Algorithm for the Perfect Dominating Set Problem on Distance-Hereditary Graphs

      • Sun-Yuan Hsieh, Gen-Huey Chen, Chin-Wen Ho
      Pages 113-124

  7. Session 3

    1. Taxonomy and Expressiveness of Preemption: A Syntactic Approach

      • Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar
      Pages 125-141

    2. Exploring Regional Locality in Distributed Shared Memory

      • Zhiyi Huang, Chengzheng Sun, Abdul Sattar
      Pages 142-156

    3. Guaranteed Mutually Consistent Checkpointing in Distributed Computations

      • Zhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang
      Pages 157-168

  8. Session 4

    1. Type Inference for First-Class Messages with Feature Constraints

      • Martin Müller, Susumu Nishimura
      Pages 169-187

    2. Two Flavors of Offine Partial Evaluation

      • Simon Helsen, Peter Thiemann
      Pages 188-205

    3. First-Class Contexts in ML

      • Masatomo Hashimoto
      Pages 206-223

  9. Keynote Address

    1. Formal Methods: Past, Present, and Future

      • Jeannette M. Wing
      Pages 224-224

  10. Session 5

    1. A Comparison of Petri Net Semantics under the Collective Token Philosophy

      • Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
      Pages 225-244

    2. Bisimulation Lattice of Chi Processes

      • Yuxi Fu
      Pages 245-262
Back to top

Other volumes

  1. Advances in Computing Science ASIAN 98

Keywords

Editors and Affiliations

  • College of Science and Technology, National Chi-Nan University, Puli, Nantou, Taiwan

    Jieh Hsiang

  • Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan

    Atsushi Ohori

Bibliographic Information

  • Book Title: Advances in Computing Science - ASIAN'98

  • Book Subtitle: 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings

  • Editors: Jieh Hsiang, Atsushi Ohori

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-49366-2

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1998

  • Softcover ISBN: 978-3-540-65388-2Published: 23 November 1998

  • eBook ISBN: 978-3-540-49366-2Published: 20 May 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 314

  • Topics: Theory of Computation, Programming Languages, Compilers, Interpreters, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation