Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1998

Advances in Computing Science - ASIAN'98

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

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)

Conference series link(s): ASIAN: Asian Computer Science Conference

Conference proceedings info: ASIAN 1998.

Sections

Buy it now

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

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

Table of contents (22 papers)

  1. Front Matter

    Pages I-X
    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

  4. Tutorial 1

  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

  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
Back to top

Other Volumes

  1. Advances in Computing Science ASIAN 98

Back to top

Keywords

Back to top

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

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation