+612 9045 4394
 
CHECKOUT
Advances in Computing Science - Asian'98 : 4th Asian Computing Science Conference, Manila, the Philippines, December 8-10, 1998, Proceedings - Jieh Hsiang

Advances in Computing Science - Asian'98

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

By: Jieh Hsiang (Editor), Atsushi Ohori (Editor)

Paperback Published: 23rd November 1998
ISBN: 9783540653882
Number Of Pages: 314

Share This Book:

Paperback

$124.95
or 4 easy payments of $31.24 with Learn more
Ships in 5 to 9 business days

This volume contains the proceedings of the Fourth Asian Computing Science Conference (ASIAN98), held December 8{10, 1998, in Manila, the Philippines. The previous three ASIAN conferences were also published as Lecture Notes in Computer Science, Volumes 1023 (Bangkok, 1995), 1179 (Singapore, 1996), and 1345 (Kathmandu, 1997). Initiated in 1995 by the Asian Institute of Technology in partnership with INRIAandUNU, the ASIANconferenceseriesaimsatprovidingaforuminAsia fortheexchangeofthemostrecentresearchideasandresultsincomputerscience andinformationtechnology.Whileeachyearfeaturesseveralemphasizedthemes, the 1998 conference focuses on the research areas of (1) formal reasoning and veri cation, (2) programminglanguages, (3) dataand knowledgerepresentation, and (4) networking and Web computing. There were 43 submissions to the conference, out of which 17 were chosen for presentation and inclusion in this proceedings. The papers were submitted fromAustralia, Brazil, China, France, Germany, India, Italy, Japan, Korea, New Zealand, the Philippines, Russia, Singapore, Spain, Switzerland, Taiwan, Th- land, the United Kindom, and the United States of America. The program c- mittee meeting was held virtually over the Internet. The selection was nalized after a fteen-day period of lively discussion. Each paper was carefully reviewed and received at least three reports. In addition to 17 highly selective papers, this year's conference also features a keynotespeechby Jeannette M.Wing (CarnegieMellonUniversity)onFormal Methods: Past, Present, andFuture, twoinvitedtalksbySusumuHayashi(Kobe University) on Testing Proofs by Examples and Claude Kirchner (INRIA) on The RewritingCalculus as a Semantics ofELAN, and two tutorials by Tomasz Janowski(UNU/IIST)onSemanticsandLogicforProvableFault-Tolerance and R.K. Shyamasundar (TIFR) onMobile Computation: Calculus and Languages.

Testing Proofs by Examplesp. 1
Rigid Reachabilityp. 4
Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Proverp. 22
A Polymorphic Language Which Is Typable and Poly-stepp. 43
Cut Elimination for Classical Proofs as Continuation Passing Style Computationp. 61
Semantics and Logic for Provable Fault-Tolerance, A Tutorialp. 79
The Rewriting Calculus as a Semantics of ELANp. 84
Tried Linear Hashingp. 86
A New Factoring Algorithm for Magic Predicatesp. 95
An Optimal Parallel Algorithm for the Perfect Dominating Set Problem on Distance-Hereditary Graphsp. 113
Taxonomy and Expressiveness of Preemption: A Syntactic Approachp. 125
Exploring Regional Locality in Distributed Shared Memoryp. 142
Guaranteed Mutually Consistent Checkpointing in Distributed Computationsp. 157
Type Inference for First-Class Messages with Feature Constraintsp. 169
Two Flavors of Offline Partial Evaluationp. 188
First-Class Contexts in MLp. 206
Keynote Address Formal Methods: Past, Present, and Futurep. 224
A Comparison of Petri Net Semantics under the Collective Token Philosophyp. 225
Bisimulation Lattice of Chi Processesp. 245
Eventuality in LOTOS with a Disjunction Operatorp. 263
Towards a Characterisation of Finite-State Message-Passing Systemsp. 282
Tutorial 2p. 300
Author Indexp. 305
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540653882
ISBN-10: 3540653880
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 314
Published: 23rd November 1998
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.73
Weight (kg): 0.45